Changeset 261 for Deliverables/D4.1/Matita/depends

Timestamp:

Nov 23, 2010, 3:50:28 PM (10 years ago)

Author:

mulligan

Message:

Strengthened typings of get_ and set_index in Vector file.

File:

• Deliverables/D4.1/Matita/depends (modified) (2 diffs)

Deliverables/D4.1/Matita/depends

@@ +1 @@
+Exponential.ma Connectives.ma Equality.ma Nat.ma
 Arithmetic.ma BitVector.ma Bool.ma Connectives.ma Exponential.ma List.ma Nat.ma Plogic/equality.ma Universes.ma
-Exponential.ma Connectives.ma Equality.ma Nat.ma
 BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
 Cartesian.ma Universes.ma
+Universes.ma 
 Maybe.ma Bool.ma Plogic/equality.ma Universes.ma
 Either.ma Bool.ma Maybe.ma Universes.ma
-Universes.ma 
 ASM.ma BitVector.ma BitVectorTrie.ma Either.ma Plogic/equality.ma Universes.ma
+Char.ma Universes.ma
 Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
-Char.ma Universes.ma
 Connectives.ma Plogic/equality.ma
 Bool.ma Universes.ma
@@ -14 +14 @@
 Util.ma Nat.ma
 Interpret.ma Arithmetic.ma BitVectorTrie.ma
+String.ma Char.ma List.ma
 BitVector.ma Bool.ma List.ma Nat.ma Universes.ma Vector.ma
 Compare.ma Universes.ma
-String.ma Char.ma List.ma
 Plogic/equality.ma Universes.ma
 Nat.ma Bool.ma Cartesian.ma Connectives.ma