Changeset 2601 for src/ERTLptr
- Timestamp:
- Feb 5, 2013, 1:36:31 PM (8 years ago)
- Location:
- src/ERTLptr
- Files:
-
- 1 edited
- 1 moved
Legend:
- Unmodified
- Added
- Removed
-
src/ERTLptr/ERTLptr_semantics.ma
r2600 r2601 1 1 include "joint/semanticsUtils.ma". 2 2 include "ERTLptr/ERTLptr.ma". (* CSC: syntax.ma in RTLabs *) 3 include "ERTL/ semantics.ma".3 include "ERTL/ERTL_semantics.ma". 4 4 include alias "common/Identifiers.ma". 5 5 -
src/ERTLptr/ERTLtoERTLptrOK.ma
r2592 r2601 17 17 include "common/StatusSimulation.ma". 18 18 include "joint/Traces.ma". 19 include "ERTLptr/ semantics.ma".19 include "ERTLptr/ERTLptr_semantics.ma". 20 20 include "common/ExtraMonads.ma". 21 21
Note: See TracChangeset
for help on using the changeset viewer.