]>
2009-07-20 | Claudio Sacerdoti... | nrewrite now working | blob | commitdiff | raw |
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 |