]>
2010-03-24 | Claudio Sacerdoti... | The precedence of ^-1 has changed. | tree | commitdiff |
2010-02-03 | Claudio Sacerdoti... | Curryfication of binary_morphisms. | tree | commitdiff |
2010-01-08 | Claudio Sacerdoti... | Categorical stuff postponed. | tree | commitdiff |
2010-01-06 | Claudio Sacerdoti... | Simplified. | tree | commitdiff |
2010-01-06 | Claudio Sacerdoti... | Coercions via unification hints? | tree | commitdiff |
2010-01-02 | Claudio Sacerdoti... | 1) stuff moved from categories.ma to setoids*.ma | tree | commitdiff |
2009-12-30 | Claudio Sacerdoti... | Almost done (up to definition of category). | tree | commitdiff |
2009-12-30 | Claudio Sacerdoti... | Porting of Sambin's stuff started. | tree | commitdiff |