Ignore:
Timestamp:
Dec 16, 2010, 6:17:14 PM (9 years ago)
Author:
mulligan
Message:

Changes to get everything to compile.

File:
1 edited

Legend:

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

    r436 r439  
     1Exponential.ma Nat.ma
     2Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    13Arithmetic.ma BitVector.ma Exponential.ma
    2 Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    3 Exponential.ma Nat.ma
    44BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
    55Cartesian.ma logic/pts.ma
     
    88DoTest.ma Assembly.ma Interpret.ma Test.ma
    99ASM.ma BitVector.ma Either.ma String.ma
    10 Vector.ma List.ma Nat.ma
    1110Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    1211Char.ma logic/pts.ma
    1312Test.ma ASM.ma
     13Vector.ma List.ma Nat.ma
    1414Connectives.ma Plogic/equality.ma
    1515Bool.ma logic/pts.ma
    1616Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Status.ma
    1717List.ma Maybe.ma Util.ma
     18Interpret.ma Fetch.ma Status.ma
    1819Util.ma Nat.ma
    19 Interpret.ma Fetch.ma Status.ma
     20Compare.ma logic/pts.ma
    2021BitVector.ma String.ma Vector.ma
    2122String.ma Char.ma Compare.ma List.ma
    22 Compare.ma logic/pts.ma
    2323Nat.ma Bool.ma Cartesian.ma Connectives.ma
    2424Plogic/equality.ma
Note: See TracChangeset for help on using the changeset viewer.