source: Deliverables/D4.1/Matita @ 246

Name Size Rev Age Author Last Change
../
Arithmetic.ma 3.1 KB 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
BitVector.ma 6.1 KB 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
BitVectorTrie.ma 3.1 KB 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Bool.ma 1009 bytes 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Cartesian.ma 273 bytes 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Either.ma 1.2 KB 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Equality.ma 5.4 KB 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
List.ma 11.2 KB 242   9 years mulligan Got List to compile.
Maybe.ma 761 bytes 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Nat.ma 9.6 KB 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 …
Util.ma 431 bytes 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Vector.ma 10.0 KB 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Note: See TracBrowser for help on using the repository browser.