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

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

Got fold_right_i to type check. Moved eq_rect_Type0 into Plogic/equality.ma. Added new file for main processor execution loop.

File size: 914 bytes
Line 
1Exponential.ma Connectives.ma Nat.ma Plogic/equality.ma
2Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
3Arithmetic.ma BitVector.ma Bool.ma Connectives.ma Exponential.ma List.ma Nat.ma Plogic/equality.ma Universes.ma
4BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
5Cartesian.ma Universes.ma
6Universes.ma
7Maybe.ma Bool.ma Plogic/equality.ma Universes.ma
8Either.ma Bool.ma Maybe.ma Universes.ma
9ASM.ma BitVectorTrie.ma Either.ma String.ma
10Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
11Char.ma Universes.ma
12Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Util.ma
13Connectives.ma Plogic/equality.ma
14Bool.ma Universes.ma
15Assembly.ma ASM.ma
16List.ma Bool.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
17Util.ma Nat.ma
18Compare.ma Universes.ma
19BitVector.ma Bool.ma List.ma Nat.ma Universes.ma Vector.ma
20String.ma Char.ma List.ma
21Plogic/equality.ma Universes.ma
22Nat.ma Bool.ma Cartesian.ma Connectives.ma
Note: See TracBrowser for help on using the repository browser.