source: Deliverables/D4.1/Matita @ 259

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