| 2012-08-17 | wenzelm | tuned; | file | diff | annotate |
| 2010-05-12 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| 2008-07-17 | wenzelm | tuned; | file | diff | annotate |
| 1997-02-20 | wenzelm | some administrative tools for the Isabelle; | file | diff | annotate |