]>
2005-07-02 | Claudio Sacerdoti... | The equality tactics are now exploited. | blob | commitdiff | raw |
2005-07-02 | Claudio Sacerdoti... | New theorem: eq_ind_r. | blob | commitdiff | raw | diff to current |
2005-07-01 | Claudio Sacerdoti... | The library of matita is borned! Long life to the libra... | blob | commitdiff | raw | diff to current |