| Mon, 02 Dec 1996 12:03:51 +0100 | oheimb | in Tools/8bit/isa-patches/HOLCF/clean-HOLCF.cfg | file | diff | annotate |
| Thu, 27 Jun 1996 15:19:50 +0200 | oheimb | patches for Holcfb.thy removed | file | diff | annotate |
| Tue, 25 Jun 1996 17:44:43 +0200 | oheimb | Initial revision | file | diff | annotate |