Wed, 20 Dec 1995 16:28:51 +0100 | regensbu | changed predicate flat to is_flat in theory Fix.thy | file | diff | annotate |
Fri, 06 Oct 1995 17:25:24 +0100 | regensbu | added 8bit pragmas | file | diff | annotate |
Thu, 29 Jun 1995 16:28:40 +0200 | regensbu | The curried version of HOLCF is now just called HOLCF. The old | file | diff | annotate |
Mon, 28 Nov 1994 19:48:30 +0100 | regensbu | ---------------------------------------------------------------------- | file | diff | annotate |
Mon, 10 Oct 1994 12:57:23 +0100 | nipkow | README file | file | diff | annotate |