| 1997-11-20 | wenzelm | removed old note; | file | diff | annotate |
| 1997-05-23 | wenzelm | tuned; | file | diff | annotate |
| 1997-05-20 | wenzelm | tuned; | file | diff | annotate |
| 1997-05-06 | wenzelm | tuned; | file | diff | annotate |
| 1997-03-07 | wenzelm | tuned; | file | diff | annotate |
| 1997-03-07 | wenzelm | Isabelle installation notes; | file | diff | annotate |