| Fri, 03 Nov 2000 21:35:59 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 25 Oct 2000 18:33:01 +0200 | wenzelm | tuned names; | file | diff | annotate |
| Mon, 23 Oct 2000 22:11:43 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 22 Oct 2000 22:23:16 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 22 Oct 2000 22:18:40 +0200 | wenzelm | simplified quotients (only plain total equivs); | file | diff | annotate |
| Thu, 19 Oct 2000 21:23:15 +0200 | wenzelm | improved typedef; | file | diff | annotate |
| Wed, 18 Oct 2000 23:29:13 +0200 | wenzelm | Quotient types; | file | diff | annotate |