| Fri, 31 Jan 1997 16:51:58 +0100 | oheimb | moved Coind.*, Dagstuhl.*, Focus_ex.* to HOLCF/ex, | file | diff | annotate |
| Fri, 29 Nov 1996 12:17:30 +0100 | oheimb | moved Lift*.* to Up*.*, renaming of all constans and theorems concerned, | file | diff | annotate |
| Tue, 06 Feb 1996 12:42:31 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 06 Oct 1995 17:25:24 +0100 | regensbu | added 8bit pragmas | file | diff | annotate |