Ignore:
Timestamp:
Dec 15, 2010, 7:21:02 PM (9 years ago)
Author:
mulligan
Message:

Removed Plogic/

File:
1 edited

Legend:

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

    r431 r432  
    33Arithmetic.ma BitVector.ma Exponential.ma
    44BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
    5 Cartesian.ma Universes.ma
    6 Universes.ma
     5Cartesian.ma logic/pts.ma
    76Maybe.ma Bool.ma Plogic/equality.ma
    87Either.ma Bool.ma
     
    109ASM.ma BitVector.ma Either.ma String.ma
    1110Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    12 Char.ma Universes.ma
     11Char.ma logic/pts.ma
    1312Test.ma ASM.ma
    1413Vector.ma List.ma Nat.ma
    1514Connectives.ma Plogic/equality.ma
    16 Bool.ma Universes.ma
     15Bool.ma logic/pts.ma
    1716Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Status.ma
    1817List.ma Maybe.ma Util.ma
    1918Interpret.ma Fetch.ma Status.ma
    2019Util.ma Nat.ma
    21 Compare.ma Universes.ma
     20Compare.ma logic/pts.ma
    2221BitVector.ma String.ma Vector.ma
    2322String.ma Char.ma Compare.ma List.ma
    24 Plogic/equality.ma Universes.ma
    2523Nat.ma Bool.ma Cartesian.ma Connectives.ma
     24Plogic/equality.ma
     25logic/pts.ma
Note: See TracChangeset for help on using the changeset viewer.