| Mon, 26 May 1997 14:54:24 +0200 | slotosch | remoded ccc1 | file | diff | annotate |
| Sun, 25 May 1997 16:17:09 +0200 | slotosch | Eliminated the prediates flat,chfin | file | diff | annotate |
| Thu, 15 May 1997 11:35:26 +0200 | wenzelm | remove Witness.thy; | file | diff | annotate |
| Fri, 25 Apr 1997 11:11:52 +0200 | oheimb | removed one blank at end of line 37 | file | diff | annotate |
| Thu, 24 Apr 1997 10:40:01 +0200 | oheimb | added dependencies on ax_ops/*.ML and domain/*.ML | file | diff | annotate |
| Mon, 24 Feb 1997 16:12:24 +0100 | oheimb | removed explicit_domains/, which is now covered by ex/ | file | diff | annotate |
| Mon, 17 Feb 1997 10:57:11 +0100 | slotosch | Changes of HOLCF from Oscar Slotosch: | file | diff | annotate |