| 2005-03-07 | webertj | HTML 4.01 Transitional conformity | file | diff | annotate |
| 2004-11-14 | webertj | DOCTYPE declaration added | file | diff | annotate |
| 2004-10-25 | nipkow | fixed urls | file | diff | annotate |
| 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 |