source: Deliverables/D4.1/Matita @ 259

Name Size Rev Age Author Last Change
../
String.ma 72 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.
Universes.ma 234 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 …
Util.ma 431 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.
Maybe.ma 754 bytes 247   11 years mulligan Changes to get directory to compile.
Bool.ma 1009 bytes 246   11 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Either.ma 1.2 KB 247   11 years mulligan Changes to get directory to compile.
Exponential.ma 2.3 KB 257   11 years mulligan Added exponential functions for nats. Working on operational …
Connectives.ma 2.4 KB 258   11 years mulligan Forgotten files.
Interpret.ma 2.8 KB 259   11 years mulligan Need stronger set_ and get_index functions on vectors (current ones …
BitVectorTrie.ma 3.0 KB 248   11 years mulligan More changes. Added datatype for addressing modes.
Arithmetic.ma 3.5 KB 257   11 years mulligan Added exponential functions for nats. Working on operational …
Equality.ma 5.4 KB 246   11 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
BitVector.ma 6.2 KB 257   11 years mulligan Added exponential functions for nats. Working on operational …
ASM.ma 6.7 KB 256   11 years mulligan Work on ASM.ma file.
Nat.ma 10.1 KB 247   11 years mulligan Changes to get directory to compile.
Vector.ma 10.4 KB 259   11 years mulligan Need stronger set_ and get_index functions on vectors (current ones …
List.ma 11.4 KB 256   11 years mulligan Work on ASM.ma file.
Note: See TracBrowser for help on using the repository browser.