source: Deliverables/D4.1/Matita @ 264

Name Size Rev Age Author Last Change
../
Plogic 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Arithmetic.ma 3.5 KB 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
ASM.ma 7.5 KB 264   9 years sacerdot - new axiomatic data type for Strings - new file for Assembly
Assembly.ma 14.9 KB 264   9 years sacerdot - new axiomatic data type for Strings - new file for Assembly
BitVector.ma 6.2 KB 263   9 years sacerdot - use standard notation for exponential - Bit is now Bool
BitVectorTrie.ma 3.0 KB 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Bool.ma 1010 bytes 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Cartesian.ma 273 bytes 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Char.ma 581 bytes 264   9 years sacerdot - new axiomatic data type for Strings - new file for Assembly
Compare.ma 109 bytes 248   9 years mulligan More changes. Added datatype for addressing modes.
Connectives.ma 2.4 KB 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
depends 894 bytes 264   9 years sacerdot - new axiomatic data type for Strings - new file for Assembly
Either.ma 1.2 KB 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Equality.ma 5.4 KB 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Exponential.ma 2.0 KB 263   9 years sacerdot - use standard notation for exponential - Bit is now Bool
Interpret.ma 2.8 KB 259   9 years mulligan Need stronger set_ and get_index functions on vectors (current ones …
List.ma 11.3 KB 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Maybe.ma 762 bytes 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Nat.ma 10.0 KB 261   9 years mulligan Strengthened typings of get_ and set_index in Vector file.
README 82 bytes 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
root 23 bytes 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
String.ma 101 bytes 264   9 years sacerdot - new axiomatic data type for Strings - new file for Assembly
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 11.4 KB 262   9 years sacerdot - new notation ...? for vectors to reduce ambiguity - …
Note: See TracBrowser for help on using the repository browser.