source: Deliverables/D4.1/Matita @ 243

Name Size Rev Age Author Last Change
../
BitVector.ma 6.3 KB 240   9 years mulligan Updated Vector / BitVector? files taken from my Matita library.
Bool.ma 1009 bytes 232   9 years mulligan Lots of work from today. Writing bitvector library is harder than it …
Cartesian.ma 273 bytes 236   9 years mulligan Strange problem with matita and the Maybe file? Cannot find Maybe.ng.
Either.ma 1.2 KB 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
List.ma 11.2 KB 242   9 years mulligan Got List to compile.
Maybe.ma 761 bytes 228   9 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Nat.ma 9.6 KB 237   9 years mulligan More functions on bitvectors written.
Util.ma 456 bytes 243   9 years mulligan Updated Util.ma too.
Vector.ma 10.1 KB 243   9 years mulligan Updated Util.ma too.
Note: See TracBrowser for help on using the repository browser.