source: Deliverables/D4.1/Matita @ 244

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.2 KB 242   10 years mulligan Got List to compile.
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 456 bytes 243   10 years mulligan Updated Util.ma too.
Vector.ma 10.0 KB 244   10 years mulligan Vector.ma now compiles.
Note: See TracBrowser for help on using the repository browser.