source: Deliverables/D4.1/Matita @ 268

Name Size Rev Age Author Last Change
../
Plogic 268   10 years sacerdot - notation moved to proper places - new function split on Vectors
Arithmetic.ma 3.5 KB 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
ASM.ma 7.3 KB 268   10 years sacerdot - notation moved to proper places - new function split on Vectors
Assembly.ma 14.9 KB 264   10 years sacerdot - new axiomatic data type for Strings - new file for Assembly
BitVector.ma 6.2 KB 266   10 years mulligan Changes to bitvector.
BitVectorTrie.ma 2.8 KB 268   10 years sacerdot - notation moved to proper places - new function split on Vectors
Bool.ma 1.0 KB 268   10 years sacerdot - notation moved to proper places - new function split on Vectors
Cartesian.ma 240 bytes 268   10 years sacerdot - notation moved to proper places - new function split on Vectors
Char.ma 581 bytes 264   10 years sacerdot - new axiomatic data type for Strings - new file for Assembly
Compare.ma 109 bytes 248   10 years mulligan More changes. Added datatype for addressing modes.
Connectives.ma 2.5 KB 268   10 years sacerdot - notation moved to proper places - new function split on Vectors
depends 863 bytes 268   10 years sacerdot - notation moved to proper places - new function split on Vectors
Either.ma 1.3 KB 268   10 years sacerdot - notation moved to proper places - new function split on Vectors
Exponential.ma 2.0 KB 268   10 years sacerdot - notation moved to proper places - new function split on Vectors
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 265   10 years mulligan Test commit.
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 …
Status.ma 11.7 KB 267   10 years mulligan Renamed Interpret to Status.
String.ma 101 bytes 264   10 years sacerdot - new axiomatic data type for Strings - new file for Assembly
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 12.0 KB 268   10 years sacerdot - notation moved to proper places - new function split on Vectors
Note: See TracBrowser for help on using the repository browser.