source: Deliverables/D4.1/Matita @ 232

Name Size Rev Age Author Last Change
../
BitVector.ma 1.1 KB 232   9 years mulligan Lots of work from today. Writing bitvector library is harder than it …
Bool.ma 1009 bytes 232   9 years mulligan Lots of work from today. Writing bitvector library is harder than it …
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 3.3 KB 230   9 years mulligan Lots of work from today.
Maybe.ma 761 bytes 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Nat.ma 5.6 KB 232   9 years mulligan Lots of work from today. Writing bitvector library is harder than it …
Util.ma 298 bytes 229   9 years mulligan More changes.
Vector.ma 7.4 KB 232   9 years mulligan Lots of work from today. Writing bitvector library is harder than it …
Note: See TracBrowser for help on using the repository browser.