Ignore:
Timestamp:
Jan 21, 2011, 11:08:00 AM (9 years ago)
Author:
mulligan
Message:

More changes to debug and testing files to get them to work with the standard library.

File:
1 edited

Legend:

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

    r465 r472  
     1Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
     2Arithmetic.ma BitVector.ma Util.ma
     3BitVectorTrie.ma BitVector.ma basics/bool.ma datatypes/sums.ma
     4DoTest.ma Assembly.ma Interpret.ma Test.ma
     5Debug.ma Interpret.ma Status.ma
     6ASM.ma BitVector.ma String.ma
     7Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
     8Char.ma logic/pts.ma
     9Test.ma ASM.ma
    110Vector.ma Util.ma arithmetics/nat.ma basics/bool.ma datatypes/list.ma datatypes/sums.ma
     11Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Status.ma
    212Interpret.ma Fetch.ma Status.ma
    3 ASM.ma BitVector.ma String.ma
     13Util.ma arithmetics/nat.ma datatypes/list.ma datatypes/pairs.ma datatypes/sums.ma
    414BitVector.ma String.ma Util.ma Vector.ma arithmetics/nat.ma
    5 Debug.ma Interpret.ma Status.ma
    6 Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    7 BitVectorTrie.ma BitVector.ma datatypes/bool.ma datatypes/sums.ma
    8 Arithmetic.ma BitVector.ma Util.ma
    9 Test.ma ASM.ma
    1015String.ma Char.ma datatypes/list.ma
    11 Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Status.ma
    12 Char.ma logic/pts.ma
    13 Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    14 DoTest.ma Assembly.ma Interpret.ma Test.ma
    15 Util.ma arithmetics/nat.ma datatypes/pairs.ma datatypes/sums.ma
    1616arithmetics/nat.ma
    1717basics/bool.ma
    18 datatypes/bool.ma
    1918datatypes/list.ma
    2019datatypes/pairs.ma
Note: See TracChangeset for help on using the changeset viewer.