Cross Reference: Try1.het
xref
: /
hets
/
ExtModal
/
Tries
/
Try1.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
e1ad3d8dcd33fe91acdffd64989e3e6561eab47a
Christian Maeder
logic ExtModal
e1ad3d8dcd33fe91acdffd64989e3e6561eab47a
Christian Maeder
dc62afbf79603699b39b2387f48298634f642e67
cmaeder
spec Try1 =
dc62afbf79603699b39b2387f48298634f642e67
cmaeder
time modality t
e1ad3d8dcd33fe91acdffd64989e3e6561eab47a
Christian Maeder
modalities a,b
e1ad3d8dcd33fe91acdffd64989e3e6561eab47a
Christian Maeder
sort N
e1ad3d8dcd33fe91acdffd64989e3e6561eab47a
Christian Maeder
end