| Fri, 21 Feb 1997 16:35:49 +0100 | wenzelm | replaced natural by subset; | file | diff | annotate |
| Fri, 21 Feb 1997 16:28:00 +0100 | wenzelm | tuned some chars; | file | diff | annotate |
| Mon, 02 Dec 1996 18:22:22 +0100 | wenzelm | isabelle symbol fonts; | file | diff | annotate |