src/HOLCF/HOLCF.thy

--- a/src/HOLCF/HOLCF.thy	Wed Mar 26 13:44:05 1997 +0100
+++ b/src/HOLCF/HOLCF.thy	Wed Mar 26 17:58:48 1997 +0100
@@ -8,5 +8,4 @@
 
 *)
 
-HOLCF = One + Tr
-
+HOLCF = Discrete + One + Tr