Ignore:
Timestamp:
Jan 20, 2011, 6:10:07 PM (9 years ago)
Author:
mulligan
Message:

Moved over to standard library.

File:
1 edited

Legend:

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

    r462 r465  
    1 Exponential.ma Nat.ma
     1Vector.ma Util.ma arithmetics/nat.ma basics/bool.ma datatypes/list.ma datatypes/sums.ma
     2Interpret.ma Fetch.ma Status.ma
     3ASM.ma BitVector.ma String.ma
     4BitVector.ma String.ma Util.ma Vector.ma arithmetics/nat.ma
     5Debug.ma Interpret.ma Status.ma
     6Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
     7BitVectorTrie.ma BitVector.ma datatypes/bool.ma datatypes/sums.ma
     8Arithmetic.ma BitVector.ma Util.ma
     9Test.ma ASM.ma
     10String.ma Char.ma datatypes/list.ma
     11Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Status.ma
     12Char.ma logic/pts.ma
    213Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    3 Arithmetic.ma BitVector.ma Exponential.ma
    4 BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
    5 Cartesian.ma logic/pts.ma
    6 Maybe.ma Bool.ma Plogic/equality.ma
    7 Either.ma Bool.ma
    814DoTest.ma Assembly.ma Interpret.ma Test.ma
    9 Debug.ma Interpret.ma Status.ma
    10 ASM.ma BitVector.ma Either.ma String.ma
    11 Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    12 Char.ma logic/pts.ma
    13 Test.ma ASM.ma
    14 Vector.ma List.ma Nat.ma
    15 Connectives.ma Plogic/equality.ma
    16 Bool.ma logic/pts.ma
    17 Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Status.ma
    18 List.ma Maybe.ma Util.ma
    19 Interpret.ma Fetch.ma Status.ma
    20 Util.ma Nat.ma
    21 Compare.ma logic/pts.ma
    22 BitVector.ma String.ma Vector.ma
    23 String.ma Char.ma Compare.ma List.ma
    24 Nat.ma Bool.ma Cartesian.ma Connectives.ma
    25 Plogic/equality.ma
     15Util.ma arithmetics/nat.ma datatypes/pairs.ma datatypes/sums.ma
     16arithmetics/nat.ma
     17basics/bool.ma
     18datatypes/bool.ma
     19datatypes/list.ma
     20datatypes/pairs.ma
     21datatypes/sums.ma
    2622logic/pts.ma
Note: See TracChangeset for help on using the changeset viewer.