source: Deliverables/D4.1/DemoFinal/matita @ 2064

Name Size Rev Age Author Last Change
../
Vector.ma 14.0 KB 671   10 years mulligan Finished demo script for tomorrow.
Util.ma 431 bytes 671   10 years mulligan Finished demo script for tomorrow.
Test.ma 7.3 KB 671   10 years mulligan Finished demo script for tomorrow.
String.ma 164 bytes 671   10 years mulligan Finished demo script for tomorrow.
Status.ma 38.3 KB 671   10 years mulligan Finished demo script for tomorrow.
Search.ma 46.0 KB 671   10 years mulligan Finished demo script for tomorrow.
root 35 bytes 671   10 years mulligan Finished demo script for tomorrow.
README 641 bytes 671   10 years mulligan Finished demo script for tomorrow.
Nat.ma 17.9 KB 671   10 years mulligan Finished demo script for tomorrow.
Maybe.ma 737 bytes 671   10 years mulligan Finished demo script for tomorrow.
List.ma 13.9 KB 671   10 years mulligan Finished demo script for tomorrow.
LICENSE 759 bytes 671   10 years mulligan Finished demo script for tomorrow.
Interpret.ma 28.5 KB 671   10 years mulligan Finished demo script for tomorrow.
Fetch.ma 20.7 KB 671   10 years mulligan Finished demo script for tomorrow.
Exponential.ma 1.9 KB 671   10 years mulligan Finished demo script for tomorrow.
Either.ma 1.3 KB 671   10 years mulligan Finished demo script for tomorrow.
DoTest.ma 11.0 KB 671   10 years mulligan Finished demo script for tomorrow.
depends 816 bytes 671   10 years mulligan Finished demo script for tomorrow.
Connectives.ma 2.5 KB 671   10 years mulligan Finished demo script for tomorrow.
Compare.ma 110 bytes 671   10 years mulligan Finished demo script for tomorrow.
Char.ma 604 bytes 671   10 years mulligan Finished demo script for tomorrow.
Cartesian.ma 392 bytes 671   10 years mulligan Finished demo script for tomorrow.
Bool.ma 1.1 KB 671   10 years mulligan Finished demo script for tomorrow.
BitVectorTrie.ma 2.7 KB 671   10 years mulligan Finished demo script for tomorrow.
BitVector.ma 6.9 KB 671   10 years mulligan Finished demo script for tomorrow.
Assembly.ma 29.1 KB 671   10 years mulligan Finished demo script for tomorrow.
ASM.ma 8.5 KB 671   10 years mulligan Finished demo script for tomorrow.
Arithmetic.ma 3.6 KB 671   10 years mulligan Finished demo script for tomorrow.
Note: See TracBrowser for help on using the repository browser.