source: Deliverables/D4.1/Matita @ 467

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