Ignore:
Timestamp:
Nov 23, 2010, 3:50:28 PM (9 years ago)
Author:
mulligan
Message:

Strengthened typings of get_ and set_index in Vector file.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/depends

    r260 r261  
     1Exponential.ma Connectives.ma Equality.ma Nat.ma
    12Arithmetic.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.ma
    33BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
    44Cartesian.ma Universes.ma
     5Universes.ma
    56Maybe.ma Bool.ma Plogic/equality.ma Universes.ma
    67Either.ma Bool.ma Maybe.ma Universes.ma
    7 Universes.ma
    88ASM.ma BitVector.ma BitVectorTrie.ma Either.ma Plogic/equality.ma Universes.ma
     9Char.ma Universes.ma
    910Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
    10 Char.ma Universes.ma
    1111Connectives.ma Plogic/equality.ma
    1212Bool.ma Universes.ma
     
    1414Util.ma Nat.ma
    1515Interpret.ma Arithmetic.ma BitVectorTrie.ma
     16String.ma Char.ma List.ma
    1617BitVector.ma Bool.ma List.ma Nat.ma Universes.ma Vector.ma
    1718Compare.ma Universes.ma
    18 String.ma Char.ma List.ma
    1919Plogic/equality.ma Universes.ma
    2020Nat.ma Bool.ma Cartesian.ma Connectives.ma
Note: See TracChangeset for help on using the changeset viewer.