source: Deliverables/D4.1/Matita/depends @ 557

Last change on this file since 557 was 472, checked in by mulligan, 9 years ago

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

File size: 809 bytes
Line 
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
10Vector.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
12Interpret.ma Fetch.ma Status.ma
13Util.ma arithmetics/nat.ma datatypes/list.ma datatypes/pairs.ma datatypes/sums.ma
14BitVector.ma String.ma Util.ma Vector.ma arithmetics/nat.ma
15String.ma Char.ma datatypes/list.ma
16arithmetics/nat.ma
17basics/bool.ma
18datatypes/list.ma
19datatypes/pairs.ma
20datatypes/sums.ma
21logic/pts.ma
Note: See TracBrowser for help on using the repository browser.