source: Deliverables/D4.1/Matita @ 230

Name Size Rev Age Author Last Change
../
BitVector.ma 908 bytes 230   10 years mulligan Lots of work from today.
Bool.ma 1004 bytes 228   10 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Cartesian.ma 110 bytes 228   10 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Either.ma 1.2 KB 228   10 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
List.ma 3.3 KB 230   10 years mulligan Lots of work from today.
Maybe.ma 761 bytes 228   10 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Nat.ma 3.6 KB 230   10 years mulligan Lots of work from today.
Util.ma 298 bytes 229   10 years mulligan More changes.
Vector.ma 4.1 KB 230   10 years mulligan Lots of work from today.
Note: See TracBrowser for help on using the repository browser.