]>
2010-07-22 | Enrico Tassi | eq -> eq0 renaming | blob | commitdiff | raw |
2010-02-03 | Claudio Sacerdoti... | Curryfication of binary setoids. | blob | commitdiff | raw | diff to current |
2010-02-03 | Claudio Sacerdoti... | Work in Progress: Who needs binary_morphisms? Curryfica... | blob | commitdiff | raw | diff to current |
2010-01-18 | Claudio Sacerdoti... | // in place of nauto everywhere | blob | commitdiff | raw | diff to current |
2010-01-02 | Claudio Sacerdoti... | 1) stuff moved from categories.ma to setoids*.ma | blob | commitdiff | raw | diff to current |
2009-12-30 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2009-08-06 | Claudio Sacerdoti... | Setoid rewriting as unification hinting. Does not work... | blob | commitdiff | raw | diff to current |
2009-07-31 | Claudio Sacerdoti... | Setoids, setoids1, sets, and the like. The mess begins. | blob | commitdiff | raw | diff to current |
2009-07-27 | Claudio Sacerdoti... | setoids.ma split into setoids.ma + setoids1.ma | blob | commitdiff | raw | diff to current |