]>
2009-07-27 | Claudio Sacerdoti... | setoids.ma split into setoids.ma + setoids1.ma | tree | commitdiff |
2009-07-20 | Claudio Sacerdoti... | nrewrite now working | tree | commitdiff |
2009-07-17 | Claudio Sacerdoti... | ... | tree | commitdiff |
2009-07-13 | Claudio Sacerdoti... | First proof finished (some tactics still not working). | tree | commitdiff |
2009-07-08 | Claudio Sacerdoti... | eq moved to CProp | tree | commitdiff |
2009-07-08 | Claudio Sacerdoti... | ... | tree | commitdiff |
2009-07-08 | Claudio Sacerdoti... | ... | tree | commitdiff |
2009-07-07 | Claudio Sacerdoti... | ... | tree | commitdiff |
2009-07-07 | Claudio Sacerdoti... | Let's play a bit with NG. | tree | commitdiff |