source:
Deliverables/D4.1/Matita
@
231
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| Vector.ma | 7.5 KB | 231 | 10 years | BitVector? stuff from this morning: need further development of Nat … | |
| Nat.ma | 4.0 KB | 231 | 10 years | BitVector? stuff from this morning: need further development of Nat … | |
| List.ma | 3.3 KB | 230 | 10 years | Lots of work from today. | |
| Either.ma | 1.2 KB | 228 | 10 years | Conjunction, disjunction and 'xorjunction' implemented on bitvectors. … | |
| Bool.ma | 1004 bytes | 228 | 10 years | Conjunction, disjunction and 'xorjunction' implemented on bitvectors. … | |
| BitVector.ma | 998 bytes | 231 | 10 years | BitVector? stuff from this morning: need further development of Nat … | |
| Maybe.ma | 761 bytes | 228 | 10 years | Conjunction, disjunction and 'xorjunction' implemented on bitvectors. … | |
| Util.ma | 298 bytes | 229 | 10 years | More changes. | |
| Cartesian.ma | 110 bytes | 228 | 10 years | Conjunction, disjunction and 'xorjunction' implemented on bitvectors. … | |
Note: See TracBrowser
for help on using the repository browser.
