Ignore:
Timestamp:
Dec 1, 2010, 10:19:55 PM (9 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

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

    r354 r355  
     1Arithmetic.ma BitVector.ma Bool.ma Connectives.ma Exponential.ma List.ma Nat.ma Plogic/equality.ma Universes.ma
     2Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    13Exponential.ma Connectives.ma Nat.ma Plogic/equality.ma
    2 Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    3 Arithmetic.ma BitVector.ma Bool.ma Connectives.ma Exponential.ma List.ma Nat.ma Plogic/equality.ma Universes.ma
    44BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
    55Cartesian.ma Universes.ma
    6 Universes.ma
    76Maybe.ma Bool.ma Plogic/equality.ma Universes.ma
    87Either.ma Bool.ma Maybe.ma Universes.ma
     8Universes.ma
    99DoTest.ma Test.ma
    1010ASM.ma BitVectorTrie.ma Either.ma String.ma
     11Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Util.ma
    1112Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    1213Char.ma Universes.ma
    1314Test.ma Assembly.ma
    14 Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Util.ma
    1515Connectives.ma Plogic/equality.ma
    1616Bool.ma Universes.ma
    1717Assembly.ma ASM.ma
    1818List.ma Bool.ma Maybe.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
     19Util.ma Nat.ma
    1920Interpret.ma Arithmetic.ma Cartesian.ma Fetch.ma List.ma Status.ma
    20 Util.ma Nat.ma
     21BitVector.ma Bool.ma List.ma Nat.ma Universes.ma Vector.ma
    2122Compare.ma Universes.ma
    22 BitVector.ma Bool.ma List.ma Nat.ma Universes.ma Vector.ma
    2323String.ma Char.ma List.ma
    2424Plogic/equality.ma Universes.ma
Note: See TracChangeset for help on using the changeset viewer.