Changeset 1601 for src/RTLabs/semantics.ma
- Timestamp:
- Dec 13, 2011, 2:49:52 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/semantics.ma
r1583 r1601 3 3 compilers yet! *) 4 4 5 include " utilities/lists.ma".5 include "basics/lists/list.ma". 6 6 7 7 include "common/Errors.ma".
Note: See TracChangeset
for help on using the changeset viewer.