Ignore:
Timestamp:
Dec 1, 2010, 11:27:04 PM (9 years ago)
Author:
sacerdot
Message:
  • stupid bug fixed in BitVectorTrie?
  • dependencies minimized, dead code removed
File:
1 edited

Legend:

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

    r355 r357  
    1 Arithmetic.ma BitVector.ma Bool.ma Connectives.ma Exponential.ma List.ma Nat.ma Plogic/equality.ma Universes.ma
     1Arithmetic.ma BitVector.ma Exponential.ma
    22Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    3 Exponential.ma Connectives.ma Nat.ma Plogic/equality.ma
     3Exponential.ma Nat.ma
    44BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
    55Cartesian.ma Universes.ma
    6 Maybe.ma Bool.ma Plogic/equality.ma Universes.ma
    7 Either.ma Bool.ma Maybe.ma Universes.ma
     6Maybe.ma Bool.ma Plogic/equality.ma
     7Either.ma Bool.ma
    88Universes.ma
    9 DoTest.ma Test.ma
    10 ASM.ma BitVectorTrie.ma Either.ma String.ma
    11 Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Util.ma
     9DoTest.ma Interpret.ma Test.ma
     10ASM.ma BitVector.ma Either.ma String.ma
     11Vector.ma List.ma Nat.ma
    1212Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    1313Char.ma Universes.ma
    14 Test.ma Assembly.ma
     14Test.ma ASM.ma
    1515Connectives.ma Plogic/equality.ma
    1616Bool.ma Universes.ma
    1717Assembly.ma ASM.ma
    18 List.ma Bool.ma Maybe.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
     18List.ma Maybe.ma Util.ma
    1919Util.ma Nat.ma
    20 Interpret.ma Arithmetic.ma Cartesian.ma Fetch.ma List.ma Status.ma
    21 BitVector.ma Bool.ma List.ma Nat.ma Universes.ma Vector.ma
    22 Compare.ma Universes.ma
     20Interpret.ma Fetch.ma Status.ma
     21BitVector.ma Vector.ma
    2322String.ma Char.ma List.ma
    2423Plogic/equality.ma Universes.ma
Note: See TracChangeset for help on using the changeset viewer.