Changeset 1070 for src/RTLabs/syntax.ma
- Timestamp:
- Jul 15, 2011, 12:56:48 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/syntax.ma
r1056 r1070 35 35 ; f_stacksize : nat 36 36 ; f_graph : graph statement 37 ; f_entry : label38 ; f_exit : label37 ; f_entry : Σl:label. ∃s. lookup ?? f_graph l = Some ? s 38 ; f_exit : Σl:label. ∃s. lookup ?? f_graph l = Some ? s 39 39 }. 40 40
Note: See TracChangeset
for help on using the changeset viewer.