source: Deliverables/D4.1/Matita @ 228

Name Size Rev Age Author Last Change
../
BitVector.ma 602 bytes 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Bool.ma 1004 bytes 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Cartesian.ma 110 bytes 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Either.ma 1.2 KB 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
List.ma 2.1 KB 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Maybe.ma 761 bytes 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Nat.ma 2.2 KB 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Vector.ma 2.4 KB 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Note: See TracBrowser for help on using the repository browser.