Try5.het revision dc62afbf79603699b39b2387f48298634f642e67
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maederlogic ExtModal
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder time modality t
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder modalities a,b
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder rigid op 0 : N
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder rigid op s : N -> N
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder flexible op 1 : N