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 |