| Tue, 11 Sep 2007 14:26:49 +0200 | webertj | typo fixed, dead link removed | file | diff | annotate |
| Mon, 07 Mar 2005 19:17:07 +0100 | webertj | HTML 4.01 Transitional conformity | file | diff | annotate |
| Sun, 14 Nov 2004 01:40:27 +0100 | webertj | DOCTYPE declaration added | file | diff | annotate |
| Mon, 25 Oct 2004 17:19:17 +0200 | nipkow | fixed urls | file | diff | annotate |
| Fri, 18 Dec 1998 19:43:10 +0100 | nipkow | Link to HOLCF paper added. | file | diff | annotate |
| Wed, 21 May 1997 17:13:00 +0200 | wenzelm | tuned all READMEs; | file | diff | annotate |
| Fri, 13 Dec 1996 18:45:58 +0100 | oheimb | adaptions for symbol font | file | diff | annotate |
| Wed, 20 Dec 1995 16:28:51 +0100 | regensbu | changed predicate flat to is_flat in theory Fix.thy | file | diff | annotate |
| Fri, 17 Nov 1995 13:22:50 +0100 | clasohm | HTML version of README | file | diff | annotate |