Ignore:
Timestamp:
Dec 13, 2010, 6:03:05 PM (9 years ago)
Author:
mulligan
Message:

Got a few more cases working.

File:
1 edited

Legend:

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

    r410 r414  
    99DoTest.ma Assembly.ma Interpret.ma Test.ma
    1010ASM.ma BitVector.ma Either.ma String.ma
     11Map.ma Compare.ma Maybe.ma Universes.ma
    1112Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    1213Char.ma Universes.ma
     
    1516Connectives.ma Plogic/equality.ma
    1617Bool.ma Universes.ma
    17 Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Status.ma
     18Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Map.ma Status.ma
    1819List.ma Maybe.ma Util.ma
    1920Interpret.ma Fetch.ma Status.ma
    2021Util.ma Nat.ma
     22Compare.ma Universes.ma
    2123BitVector.ma String.ma Vector.ma
    2224String.ma Char.ma List.ma
Note: See TracChangeset for help on using the changeset viewer.