source: Deliverables/D4.1/Matita @ 235

Name Size Rev Age Author Last Change
../
Vector.ma 7.5 KB 234   10 years mulligan Division and modulus implemented. All necessary orders on naturals …
Util.ma 298 bytes 229   10 years mulligan More changes.
Nat.ma 9.0 KB 234   10 years mulligan Division and modulus implemented. All necessary orders on naturals …
Maybe.ma 761 bytes 228   10 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
List.ma 6.3 KB 233   10 years mulligan Changes from this morning: Bool / Prop division = nightmare.
Either.ma 1.2 KB 228   10 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Cartesian.ma 110 bytes 228   10 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Bool.ma 1009 bytes 232   10 years mulligan Lots of work from today. Writing bitvector library is harder than it …
BitVector.ma 1.6 KB 235   10 years mulligan More work on bitvectors.
Note: See TracBrowser for help on using the repository browser.