]>
2009-10-16 | Enrico Tassi | ... | blob | commitdiff | raw |
2009-08-13 | Claudio Sacerdoti... | (nat,plus) is an abelian, unital magma | blob | commitdiff | raw | diff to current |
2009-08-12 | Claudio Sacerdoti... | A very little bit of arithmetic. | blob | commitdiff | raw | diff to current |
2009-07-20 | Claudio Sacerdoti... | nrewrite now working | blob | commitdiff | raw | diff to current |
2009-07-13 | Claudio Sacerdoti... | First proof finished (some tactics still not working). | blob | commitdiff | raw | diff to current |
2009-07-08 | Claudio Sacerdoti... | eq moved to CProp | blob | commitdiff | raw | diff to current |
2009-07-08 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |