source: Deliverables/D4.1/Matita @ 241

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