Mon, 02 Dec 1996 12:19:56 +0100 | oheimb | replaced Lift3 by Up3, moving Lift3.p to Up3.p | file | diff | annotate |
Thu, 27 Jun 1996 15:19:50 +0200 | oheimb | patches for Holcfb.thy removed | file | diff | annotate |
Wed, 26 Jun 1996 17:45:32 +0200 | oheimb | adapted path to 8bit package | file | diff | annotate |
Tue, 25 Jun 1996 17:44:43 +0200 | oheimb | Initial revision | file | diff | annotate |