| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
| Wed, 30 Dec 2015 20:24:43 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Wed, 14 Nov 2001 23:15:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 03 Feb 2001 17:40:16 +0100 | wenzelm | Induct: converted some theories to new-style format; | file | diff | annotate |