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

Last change on this file since 260 was 260, checked in by sacerdot, 9 years ago
  • Minimal changes to make it compile with the standard distribution of Matita once this directory is substituted to nlibrary
  • ambiguity reduced by lower-casing booleans
File size: 910 bytes
Line 
1Arithmetic.ma BitVector.ma Bool.ma Connectives.ma Exponential.ma List.ma Nat.ma Plogic/equality.ma Universes.ma
2Exponential.ma Connectives.ma Equality.ma Nat.ma
3BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
4Cartesian.ma Universes.ma
5Maybe.ma Bool.ma Plogic/equality.ma Universes.ma
6Either.ma Bool.ma Maybe.ma Universes.ma
7Universes.ma
8ASM.ma BitVector.ma BitVectorTrie.ma Either.ma Plogic/equality.ma Universes.ma
9Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
10Char.ma Universes.ma
11Connectives.ma Plogic/equality.ma
12Bool.ma Universes.ma
13List.ma Bool.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
14Util.ma Nat.ma
15Interpret.ma Arithmetic.ma BitVectorTrie.ma
16BitVector.ma Bool.ma List.ma Nat.ma Universes.ma Vector.ma
17Compare.ma Universes.ma
18String.ma Char.ma List.ma
19Plogic/equality.ma Universes.ma
20Nat.ma Bool.ma Cartesian.ma Connectives.ma
21Equality.ma Universes.ma
Note: See TracBrowser for help on using the repository browser.