source: Deliverables/D4.1/Matita @ 249

Name Size Rev Age Author Last Change
../
Arithmetic.ma 3.0 KB 248   11 years mulligan More changes. Added datatype for addressing modes.
ASM.ma 2.3 KB 249   11 years mulligan More work on defining fundamental datatypes.
BitVector.ma 6.2 KB 248   11 years mulligan More changes. Added datatype for addressing modes.
BitVectorTrie.ma 3.0 KB 248   11 years mulligan More changes. Added datatype for addressing modes.
Bool.ma 1009 bytes 246   11 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Cartesian.ma 273 bytes 246   11 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Char.ma 574 bytes 249   11 years mulligan More work on defining fundamental datatypes.
Compare.ma 109 bytes 248   11 years mulligan More changes. Added datatype for addressing modes.
Either.ma 1.2 KB 247   11 years mulligan Changes to get directory to compile.
Equality.ma 5.4 KB 246   11 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
List.ma 11.3 KB 248   11 years mulligan More changes. Added datatype for addressing modes.
Maybe.ma 754 bytes 247   11 years mulligan Changes to get directory to compile.
Nat.ma 10.1 KB 247   11 years mulligan Changes to get directory to compile.
String.ma 72 bytes 249   11 years mulligan More work on defining fundamental datatypes.
Universes.ma 234 bytes 246   11 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Util.ma 431 bytes 246   11 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Vector.ma 10.1 KB 248   11 years mulligan More changes. Added datatype for addressing modes.
Note: See TracBrowser for help on using the repository browser.