]>
2010-01-08 | Andrea Asperti | rebuilding the library | blob | commitdiff | raw |
2009-12-15 | Andrea Asperti | eq_coerc for smart application. | blob | commitdiff | raw | diff to current |
2009-12-02 | Andrea Asperti | Propositional equality | blob | commitdiff | raw | diff to current |