source: Deliverables/D4.1/Matita @ 465

Name Size Rev Age Author Last Change
../
Arithmetic.ma 6.8 KB 465   10 years mulligan Moved over to standard library.
ASM.ma 8.5 KB 465   10 years mulligan Moved over to standard library.
Assembly.ma 28.9 KB 465   10 years mulligan Moved over to standard library.
BitVector.ma 6.8 KB 465   10 years mulligan Moved over to standard library.
BitVectorTrie.ma 2.7 KB 465   10 years mulligan Moved over to standard library.
Bool.ma 1.1 KB 432   10 years mulligan Removed Plogic/
Cartesian.ma 392 bytes 432   10 years mulligan Removed Plogic/
Char.ma 604 bytes 432   10 years mulligan Removed Plogic/
Compare.ma 110 bytes 432   10 years mulligan Removed Plogic/
Connectives.ma 2.5 KB 268   10 years sacerdot - notation moved to proper places - new function split on Vectors
Debug.ma 514 bytes 439   10 years mulligan Changes to get everything to compile.
depends 813 bytes 465   10 years mulligan Moved over to standard library.
DoTest.ma 12.3 KB 465   10 years mulligan Moved over to standard library.
Either.ma 1.3 KB 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Exponential.ma 1.9 KB 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Fetch.ma 20.3 KB 465   10 years mulligan Moved over to standard library.
Interpret.ma 28.6 KB 465   10 years mulligan Moved over to standard library.
List.ma 13.9 KB 364   10 years mulligan Added subvector_with function.
Maybe.ma 737 bytes 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Nat.ma 17.9 KB 410   10 years mulligan Using bitvectortries for a dictionary doesn't work even if we …
README 641 bytes 431   10 years mulligan - README updated - Test and DoTest? fixed to work on assembly_program - …
root 35 bytes 432   10 years mulligan Removed Plogic/
Status.ma 34.8 KB 465   10 years mulligan Moved over to standard library.
String.ma 84 bytes 465   10 years mulligan Moved over to standard library.
Test.ma 7.1 KB 465   10 years mulligan Moved over to standard library.
Util.ma 4.1 KB 465   10 years mulligan Moved over to standard library.
Vector.ma 14.1 KB 465   10 years mulligan Moved over to standard library.
Note: See TracBrowser for help on using the repository browser.