source: Deliverables/D4.1/Matita @ 262

Name Size Rev Age Author Last Change
../
Plogic 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Arithmetic.ma 3.5 KB 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
ASM.ma 10.6 KB 262   10 years sacerdot - new notation ...? for vectors to reduce ambiguity - …
BitVector.ma 6.2 KB 262   10 years sacerdot - new notation ...? for vectors to reduce ambiguity - …
BitVectorTrie.ma 3.0 KB 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Bool.ma 1010 bytes 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Cartesian.ma 273 bytes 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Char.ma 574 bytes 249   10 years mulligan More work on defining fundamental datatypes.
Compare.ma 109 bytes 248   10 years mulligan More changes. Added datatype for addressing modes.
Connectives.ma 2.4 KB 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
depends 910 bytes 261   10 years mulligan Strengthened typings of get_ and set_index in Vector file.
Either.ma 1.2 KB 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Equality.ma 5.4 KB 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Exponential.ma 2.3 KB 257   10 years mulligan Added exponential functions for nats. Working on operational …
Interpret.ma 2.8 KB 259   10 years mulligan Need stronger set_ and get_index functions on vectors (current ones …
List.ma 11.3 KB 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Maybe.ma 762 bytes 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Nat.ma 10.0 KB 261   10 years mulligan Strengthened typings of get_ and set_index in Vector file.
README 82 bytes 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
root 23 bytes 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
String.ma 72 bytes 249   10 years mulligan More work on defining fundamental datatypes.
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 …
Vector.ma 11.4 KB 262   10 years sacerdot - new notation ...? for vectors to reduce ambiguity - …
Note: See TracBrowser for help on using the repository browser.