]>
2010-03-24 | Claudio Sacerdoti... | The precedence of ^-1 has changed. | blob | commitdiff | raw |
2010-02-03 | Claudio Sacerdoti... | Curryfication of binary_morphisms. | blob | commitdiff | raw | diff to current |
2010-01-08 | Claudio Sacerdoti... | Categorical stuff postponed. | blob | commitdiff | raw | diff to current |
2010-01-06 | Claudio Sacerdoti... | Simplified. | blob | commitdiff | raw | diff to current |
2010-01-06 | Claudio Sacerdoti... | Coercions via unification hints? | 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... | Almost done (up to definition of category). | blob | commitdiff | raw | diff to current |
2009-12-30 | Claudio Sacerdoti... | Porting of Sambin's stuff started. | blob | commitdiff | raw | diff to current |