| 1998-12-18 | nipkow | Link to HOLCF paper added. | file | diff | annotate |
| 1997-05-21 | wenzelm | tuned all READMEs; | file | diff | annotate |
| 1996-12-13 | oheimb | adaptions for symbol font | file | diff | annotate |
| 1995-12-20 | regensbu | changed predicate flat to is_flat in theory Fix.thy | file | diff | annotate |
| 1995-11-17 | clasohm | HTML version of README | file | diff | annotate |