source: Deliverables/D4.1/Matita @ 241

Name Size Rev Age Author Last Change
../
BitVector.ma 6.3 KB 240   11 years mulligan Updated Vector / BitVector? files taken from my Matita library.
Bool.ma 1009 bytes 232   11 years mulligan Lots of work from today. Writing bitvector library is harder than it …
Cartesian.ma 273 bytes 236   11 years mulligan Strange problem with matita and the Maybe file? Cannot find Maybe.ng.
Either.ma 1.2 KB 228   11 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
List.ma 11.3 KB 241   11 years mulligan Also needed an updated List.ma.
Maybe.ma 761 bytes 228   11 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Nat.ma 9.6 KB 237   11 years mulligan More functions on bitvectors written.
Util.ma 298 bytes 229   11 years mulligan More changes.
Vector.ma 10.0 KB 241   11 years mulligan Also needed an updated List.ma.
Note: See TracBrowser for help on using the repository browser.