source: Deliverables/D4.1/Matita @ 236

Name Size Rev Age Author Last Change
../
BitVector.ma 4.2 KB 236   10 years mulligan Strange problem with matita and the Maybe file? Cannot find Maybe.ng.
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 6.5 KB 236   10 years mulligan Strange problem with matita and the Maybe file? Cannot find Maybe.ng.
Maybe.ma 761 bytes 228   10 years mulligan Conjunction, disjunction and 'xorjunction' implemented on bitvectors. …
Nat.ma 9.0 KB 236   10 years mulligan Strange problem with matita and the Maybe file? Cannot find Maybe.ng.
Util.ma 298 bytes 229   10 years mulligan More changes.
Vector.ma 7.5 KB 236   10 years mulligan Strange problem with matita and the Maybe file? Cannot find Maybe.ng.
Note: See TracBrowser for help on using the repository browser.