source:
Deliverables/D4.1/Matita
@
374
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
Plogic | 374 | 10 years | 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons … | ||
Cartesian.ma | 392 bytes | 281 | 10 years | Resolved conflicts. | |
Char.ma | 603 bytes | 329 | 10 years | Commit to restore deleted file. | |
depends | 714 bytes | 364 | 10 years | Added subvector_with function. | |
List.ma | 13.9 KB | 364 | 10 years | Added subvector_with function. | |
Nat.ma | 17.8 KB | 363 | 10 years | Resolved conflicts. Added new get_index' which hides the proof … | |
String.ma | 73 bytes | 329 | 10 years | Commit to restore deleted file. | |
Universes.ma | 234 bytes | 246 | 10 years | Added physical file (Arithmetic) for arithmetic on bit vectors, and … | |
Util.ma | 431 bytes | 246 | 10 years | Added physical file (Arithmetic) for arithmetic on bit vectors, and … | |
Arithmetic.ma | 3.9 KB | 374 | 10 years | 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons … | |
ASM.ma | 8.5 KB | 374 | 10 years | 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons … | |
Assembly.ma | 26.3 KB | 341 | 10 years | A simple version of assembly (no labels) implemented. | |
BitVector.ma | 6.7 KB | 374 | 10 years | 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons … | |
BitVectorTrie.ma | 2.7 KB | 374 | 10 years | 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons … | |
Bool.ma | 1.1 KB | 336 | 10 years | check removed. | |
Connectives.ma | 2.5 KB | 268 | 10 years | - notation moved to proper places - new function split on Vectors | |
DoTest.ma | 10.8 KB | 374 | 10 years | 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons … | |
Either.ma | 1.3 KB | 357 | 10 years | - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead … | |
Exponential.ma | 1.9 KB | 357 | 10 years | - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead … | |
Fetch.ma | 20.7 KB | 332 | 10 years | Code of fetch greatly simplified because of better behaviour of Matita. | |
Interpret.ma | 28.5 KB | 374 | 10 years | 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons … | |
Maybe.ma | 737 bytes | 357 | 10 years | - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead … | |
README | 82 bytes | 260 | 10 years | - Minimal changes to make it compile with the standard distribution of … | |
root | 23 bytes | 260 | 10 years | - Minimal changes to make it compile with the standard distribution of … | |
Status.ma | 38.3 KB | 362 | 10 years | Less ambiguous definitions. | |
Test.ma | 7.3 KB | 357 | 10 years | - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead … | |
Vector.ma | 14.0 KB | 374 | 10 years | 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons … |
Note: See TracBrowser
for help on using the repository browser.