2010-06-24 | Christian Urban | added definition of the quotient types | file | diff | annotate |
2010-06-23 | Christian Urban | merged cezary's changes | file | diff | annotate |
2010-06-23 | Cezary Kaliszyk | Un-do the second change to SingleLet. | file | diff | annotate |