| 2001-12-04 | wenzelm | made slightly more robust; | file | diff | annotate |
| 2001-09-26 | wenzelm | bold symbols; | file | diff | annotate |
| 2001-01-24 | wenzelm | more symbols; | file | diff | annotate |
| 2000-12-07 | wenzelm | Id; | file | diff | annotate |
| 2000-12-07 | wenzelm | generate table of isabelle symbols; | file | diff | annotate |