Changeset 10650 for trunk/HasCASL/test/Items.hascasl
- Timestamp:
- 04.09.2008 13:13:05 (19 months ago)
- Files:
-
- 1 modified
-
trunk/HasCASL/test/Items.hascasl (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/HasCASL/test/Items.hascasl
r10262 r10650 7 7 type WNet={(sys,i,o): T * T * T . i = o } 8 8 var a+ : Type 9 var - 10 var []+ 9 var - : Type 10 var []+ : Type 11 11 op a:? b 12 12 op a: ? b