Changeset 435


Ignore:
Timestamp:
Dec 15, 2010, 11:19:49 PM (9 years ago)
Author:
sacerdot
Message:

logic/pts.ma is now used in place of Universes.ma

Location:
Deliverables/D4.1/Matita
Files:
1 deleted
1 edited

Legend:

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

    r432 r435  
     1Arithmetic.ma BitVector.ma Exponential.ma
     2Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    13Exponential.ma Nat.ma
    2 Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    3 Arithmetic.ma BitVector.ma Exponential.ma
    44BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
    55Cartesian.ma logic/pts.ma
    66Maybe.ma Bool.ma Plogic/equality.ma
    77Either.ma Bool.ma
     8Universes.ma
    89DoTest.ma Assembly.ma Interpret.ma Test.ma
    910ASM.ma BitVector.ma Either.ma String.ma
     11Vector.ma List.ma Nat.ma
    1012Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    1113Char.ma logic/pts.ma
    1214Test.ma ASM.ma
    13 Vector.ma List.ma Nat.ma
    1415Connectives.ma Plogic/equality.ma
    1516Bool.ma logic/pts.ma
    1617Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Status.ma
    1718List.ma Maybe.ma Util.ma
     19Util.ma Nat.ma
    1820Interpret.ma Fetch.ma Status.ma
    19 Util.ma Nat.ma
    20 Compare.ma logic/pts.ma
    2121BitVector.ma String.ma Vector.ma
    2222String.ma Char.ma Compare.ma List.ma
     23Compare.ma logic/pts.ma
    2324Nat.ma Bool.ma Cartesian.ma Connectives.ma
    2425Plogic/equality.ma
Note: See TracChangeset for help on using the changeset viewer.