Changeset 261 for Deliverables/D4.1/Matita/depends
- Timestamp:
- Nov 23, 2010, 3:50:28 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/Matita/depends
r260 r261 1 Exponential.ma Connectives.ma Equality.ma Nat.ma 1 2 Arithmetic.ma BitVector.ma Bool.ma Connectives.ma Exponential.ma List.ma Nat.ma Plogic/equality.ma Universes.ma 2 Exponential.ma Connectives.ma Equality.ma Nat.ma3 3 BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma 4 4 Cartesian.ma Universes.ma 5 Universes.ma 5 6 Maybe.ma Bool.ma Plogic/equality.ma Universes.ma 6 7 Either.ma Bool.ma Maybe.ma Universes.ma 7 Universes.ma8 8 ASM.ma BitVector.ma BitVectorTrie.ma Either.ma Plogic/equality.ma Universes.ma 9 Char.ma Universes.ma 9 10 Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma 10 Char.ma Universes.ma11 11 Connectives.ma Plogic/equality.ma 12 12 Bool.ma Universes.ma … … 14 14 Util.ma Nat.ma 15 15 Interpret.ma Arithmetic.ma BitVectorTrie.ma 16 String.ma Char.ma List.ma 16 17 BitVector.ma Bool.ma List.ma Nat.ma Universes.ma Vector.ma 17 18 Compare.ma Universes.ma 18 String.ma Char.ma List.ma19 19 Plogic/equality.ma Universes.ma 20 20 Nat.ma Bool.ma Cartesian.ma Connectives.ma
Note: See TracChangeset
for help on using the changeset viewer.