| Wed, 09 Jun 2004 18:51:02 +0200 | wenzelm | updated notes on sub-/superscripts; | file | diff | annotate |
| Wed, 02 Jan 2002 21:54:45 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 11 Dec 2001 15:58:32 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 11 Dec 2001 15:36:28 +0100 | wenzelm | updated; | 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 |
| Mon, 04 Dec 2000 23:16:25 +0100 | wenzelm | include table of Isabelle standard symbols; | file | diff | annotate |