Ignore:
Timestamp:
Nov 23, 2010, 5:44:42 PM (9 years ago)
Author:
sacerdot
Message:
  • notation moved to proper places
  • new function split on Vectors
File:
1 edited

Legend:

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

    r264 r268  
    11Arithmetic.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
     2Exponential.ma Connectives.ma Nat.ma Plogic/equality.ma
    33BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
    44Cartesian.ma Universes.ma
     
    77Universes.ma
    88ASM.ma BitVectorTrie.ma Either.ma String.ma
    9 Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
     9Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Util.ma
    1010Char.ma Universes.ma
    1111Connectives.ma Plogic/equality.ma
     
    2020Plogic/equality.ma Universes.ma
    2121Nat.ma Bool.ma Cartesian.ma Connectives.ma
    22 Equality.ma Universes.ma
Note: See TracChangeset for help on using the changeset viewer.