source: Deliverables/D4.1/Matita @ 247

Name Size Rev Age Author Last Change
../
Arithmetic.ma 3.1 KB 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
BitVector.ma 6.1 KB 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
BitVectorTrie.ma 3.1 KB 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Bool.ma 1009 bytes 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Cartesian.ma 273 bytes 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Equality.ma 5.4 KB 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Universes.ma 234 bytes 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Util.ma 431 bytes 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Vector.ma 10.0 KB 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
ASM.ma 86 bytes 247   10 years mulligan Changes to get directory to compile.
Either.ma 1.2 KB 247   10 years mulligan Changes to get directory to compile.
List.ma 11.2 KB 247   10 years mulligan Changes to get directory to compile.
Maybe.ma 754 bytes 247   10 years mulligan Changes to get directory to compile.
Nat.ma 10.1 KB 247   10 years mulligan Changes to get directory to compile.
Note: See TracBrowser for help on using the repository browser.