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