Changeset 329 for Deliverables/D4.1/Matita/depends
- Timestamp:
- Nov 29, 2010, 1:42:00 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/Matita/depends
r328 r329 14 14 Bool.ma Universes.ma 15 15 Assembly.ma ASM.ma 16 List.ma Bool.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma 16 List.ma Bool.ma Maybe.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma 17 Interpret.ma Arithmetic.ma Cartesian.ma Fetch.ma List.ma Status.ma 17 18 Util.ma Nat.ma 18 19 Compare.ma Universes.ma
Note: See TracChangeset
for help on using the changeset viewer.