Cross Reference: teste.het
xref
: /
hets
/
ExtModal
/
Tries
/
teste.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
teste.het revision 81f49ee02aaa3bc870401f8883bf52742eb3ea7a
logic ExtModal
spec Try1=
time modality t
modalities a,b
nominals N, M
end