Cross Reference: Try1.het
xref
: /
hets
/
HasCASL
/
test
/
B1.hascasl.output
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
Try1.het revision 39f54506ddf420d74afeeec4065ebf7222aca364
logic ExtModal
spec Try1=
time modality t
modalities a,b
sort N
end