Changeset 432


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

Removed Plogic/

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

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/Bool.ma

    r336 r432  
    1 include "Universes.ma".
     1include "logic/pts.ma".
    22
    33ninductive Bool: Type[0] ≝
  • Deliverables/D4.1/Matita/Cartesian.ma

    r281 r432  
    1 include "Universes.ma".
     1include "logic/pts.ma".
    22
    33nrecord Cartesian (A: Type[0]) (B: Type[0]): Type[0] ≝
  • Deliverables/D4.1/Matita/Char.ma

    r329 r432  
    1 include "Universes.ma".
     1include "logic/pts.ma".
    22
    33(*
  • Deliverables/D4.1/Matita/Compare.ma

    r410 r432  
    1 include "Universes.ma".
     1include "logic/pts.ma".
    22
    33ninductive Compare: Type[0] ≝
  • 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
  • Deliverables/D4.1/Matita/root

    r260 r432  
    1 baseuri=cic:/matita/ng
     1baseuri=cic:/matita/nlibrary-cerco
Note: See TracChangeset for help on using the changeset viewer.