Ignore:
Timestamp:
Nov 23, 2010, 5:05:07 PM (9 years ago)
Author:
sacerdot
Message:
  • new axiomatic data type for Strings
  • new file for Assembly
File:
1 edited

Legend:

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

    r261 r264  
     1Arithmetic.ma BitVector.ma Bool.ma Connectives.ma Exponential.ma List.ma Nat.ma Plogic/equality.ma Universes.ma
    12Exponential.ma Connectives.ma Equality.ma Nat.ma
    2 Arithmetic.ma BitVector.ma Bool.ma Connectives.ma Exponential.ma List.ma Nat.ma Plogic/equality.ma Universes.ma
    33BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
    44Cartesian.ma Universes.ma
    5 Universes.ma
    65Maybe.ma Bool.ma Plogic/equality.ma Universes.ma
    76Either.ma Bool.ma Maybe.ma Universes.ma
    8 ASM.ma BitVector.ma BitVectorTrie.ma Either.ma Plogic/equality.ma Universes.ma
     7Universes.ma
     8ASM.ma BitVectorTrie.ma Either.ma String.ma
     9Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
    910Char.ma Universes.ma
    10 Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
    1111Connectives.ma Plogic/equality.ma
    1212Bool.ma Universes.ma
     13Assembly.ma ASM.ma
    1314List.ma Bool.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
    1415Util.ma Nat.ma
    1516Interpret.ma Arithmetic.ma BitVectorTrie.ma
    16 String.ma Char.ma List.ma
    1717BitVector.ma Bool.ma List.ma Nat.ma Universes.ma Vector.ma
    1818Compare.ma Universes.ma
     19String.ma Char.ma List.ma
    1920Plogic/equality.ma Universes.ma
    2021Nat.ma Bool.ma Cartesian.ma Connectives.ma
Note: See TracChangeset for help on using the changeset viewer.