| Tue, 04 Dec 2001 18:00:11 +0100 | wenzelm | made slightly more robust; | file | diff | annotate |
| Wed, 26 Sep 2001 22:25:23 +0200 | wenzelm | bold symbols; | file | diff | annotate |
| Wed, 24 Jan 2001 20:56:12 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 07 Dec 2000 22:27:57 +0100 | wenzelm | Id; | file | diff | annotate |
| Thu, 07 Dec 2000 22:24:40 +0100 | wenzelm | generate table of isabelle symbols; | file | diff | annotate |