source: Deliverables/D4.1/Matita @ 374

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