]>
2010-05-12 | Wilmer Ricciotti | Library support files for John Major equality and Russell. | blob | commitdiff | raw |
2010-02-19 | Andrea Asperti | Wilmer's stuff for destruct. | blob | commitdiff | raw | diff to current |
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 |