]>
2009-01-17 | Claudio Sacerdoti... | faithful | blob | commitdiff | raw |
2009-01-17 | Claudio Sacerdoti... | CAT2 | blob | commitdiff | raw | diff to current |
2009-01-15 | Enrico Tassi | the new coercion behaviour (variants + composition... | blob | commitdiff | raw | diff to current |
2009-01-13 | Enrico Tassi | many changes regarding coercions: | blob | commitdiff | raw | diff to current |
2009-01-08 | Claudio Sacerdoti... | The new coercion from SET to Type0 with higher priority... | blob | commitdiff | raw | diff to current |
2009-01-08 | Enrico Tassi | unary_morphism_N : seoidN -> setoidN -> setoidN (was... | blob | commitdiff | raw | diff to current |
2009-01-06 | Claudio Sacerdoti... | 1) Some reorganization. | blob | commitdiff | raw | diff to current |