]>
2009-01-26 | Enrico Tassi | minor fixes | blob | commitdiff | raw |
2009-01-19 | Enrico Tassi | - new notation.ma file with local and common notation | blob | commitdiff | raw | diff to current |
2009-01-17 | Claudio Sacerdoti... | CAT2 | blob | commitdiff | raw | diff to current |
2009-01-16 | Claudio Sacerdoti... | 1. new coercion(s) from CPropi to CProp | 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-08 | Enrico Tassi | unary_morphism_N : seoidN -> setoidN -> setoidN (was... | blob | commitdiff | raw | diff to current |
2009-01-06 | Claudio Sacerdoti... | Cool: only 8 universes in use. | blob | commitdiff | raw | diff to current |
2009-01-06 | Claudio Sacerdoti... | Ooops, I forgot to commit this in the previous 3-4... | blob | commitdiff | raw | diff to current |