Changeset 268 for Deliverables/D4.1/Matita/depends
 Timestamp:
 Nov 23, 2010, 5:44:42 PM (10 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D4.1/Matita/depends
r264 r268 1 1 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.ma2 Exponential.ma Connectives.ma Nat.ma Plogic/equality.ma 3 3 BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma 4 4 Cartesian.ma Universes.ma … … 7 7 Universes.ma 8 8 ASM.ma BitVectorTrie.ma Either.ma String.ma 9 Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma U niverses.ma Util.ma9 Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Util.ma 10 10 Char.ma Universes.ma 11 11 Connectives.ma Plogic/equality.ma … … 20 20 Plogic/equality.ma Universes.ma 21 21 Nat.ma Bool.ma Cartesian.ma Connectives.ma 22 Equality.ma Universes.ma
Note: See TracChangeset
for help on using the changeset viewer.