diff -r 1b1b46adc9b3 -r dbce3dce821a src/HOLCF/ccc1.thy
--- a/src/HOLCF/ccc1.thy	Thu Nov 28 15:56:04 1996 +0100
+++ b/src/HOLCF/ccc1.thy	Fri Nov 29 12:15:33 1996 +0100
@@ -3,11 +3,11 @@
     Author:     Franz Regensburger
     Copyright   1993 Technische Universitaet Muenchen
 
-Merge Theories Cprof, Sprod, Ssum, Lift, Fix and
+Merge Theories Cprof, Sprod, Ssum, Up, Fix and
 define constants for categorical reasoning
 *)
 
-ccc1 = Cprod3 + Sprod3 + Ssum3 + Lift3 + Fix +
+ccc1 = Cprod3 + Sprod3 + Ssum3 + Up3 + Fix +
 
 consts
         ID      :: "'a -> 'a"