changeset 243 | c22b85994e17 |
child 1274 | ea0668a1c0ba |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/src/HOLCF/HOLCF.thy Wed Jan 19 17:35:01 1994 +0100 1.3 @@ -0,0 +1,13 @@ 1.4 +(* Title: HOLCF/HOLCF.thy 1.5 + ID: $Id$ 1.6 + Author: Franz Regensburger 1.7 + Copyright 1993 Technische Universitaet Muenchen 1.8 + 1.9 + 1.10 +Top theory for HOLCF system 1.11 + 1.12 +*) 1.13 + 1.14 +HOLCF = Tr2 1.15 + 1.16 +