| Fri, 13 Dec 1996 18:32:07 +0100 | oheimb | minor adaptions | file | diff | annotate |
| Mon, 02 Dec 1996 12:19:56 +0100 | oheimb | replaced Lift3 by Up3, moving Lift3.p to Up3.p | file | diff | annotate |
| 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 |