Changeset 1709 for src/common/StructuredTraces.ma
- Timestamp:
- Feb 17, 2012, 11:52:36 AM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/common/StructuredTraces.ma
r1658 r1709 7 7 | cl_jump : status_class 8 8 | cl_call : status_class 9 | cl_other : status_class 10 . 9 | cl_other : status_class. 11 10 12 11 record abstract_status : Type[1] ≝ {
Note: See TracChangeset
for help on using the changeset viewer.