Try2.het revision e1ad3d8dcd33fe91acdffd64989e3e6561eab47a
6eb9dcc44ecc0141eaa3b9e8dd30c41b768823fbChristian Maederlogic ExtModal
6eb9dcc44ecc0141eaa3b9e8dd30c41b768823fbChristian Maeder time modality t
6eb9dcc44ecc0141eaa3b9e8dd30c41b768823fbChristian Maeder modalities a,b
6eb9dcc44ecc0141eaa3b9e8dd30c41b768823fbChristian Maeder flexible op s__: N -> N
6eb9dcc44ecc0141eaa3b9e8dd30c41b768823fbChristian Maeder flexible ops 0,1: N