source: Deliverables/D4.1/Matita @ 256

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