source: Deliverables/D4.1/Matita @ 231

Name Size Rev Age Author Last Change
../
Bool.ma 1004 bytes 228   11 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Cartesian.ma 110 bytes 228   11 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Either.ma 1.2 KB 228   11 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Maybe.ma 761 bytes 228   11 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Util.ma 298 bytes 229   11 years mulligan More changes.
List.ma 3.3 KB 230   11 years mulligan Lots of work from today.
BitVector.ma 998 bytes 231   11 years mulligan BitVector? stuff from this morning: need further development of Nat …
Nat.ma 4.0 KB 231   11 years mulligan BitVector? stuff from this morning: need further development of Nat …
Vector.ma 7.5 KB 231   11 years mulligan BitVector? stuff from this morning: need further development of Nat …
Note: See TracBrowser for help on using the repository browser.