source: Deliverables/D4.1/Matita @ 230

Name Size Rev Age Author Last Change
../
BitVector.ma 908 bytes 230   11 years mulligan Lots of work from today.
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. …
List.ma 3.3 KB 230   11 years mulligan Lots of work from today.
Maybe.ma 761 bytes 228   11 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Nat.ma 3.6 KB 230   11 years mulligan Lots of work from today.
Util.ma 298 bytes 229   11 years mulligan More changes.
Vector.ma 4.1 KB 230   11 years mulligan Lots of work from today.
Note: See TracBrowser for help on using the repository browser.