]>
2010-02-19 | Andrea Asperti | Wilmer's stuff for destruct. | blob | commitdiff | raw |
2010-01-08 | Andrea Asperti | rebuilding the library | blob | commitdiff | raw | diff to current |
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 |