src/HOLCF/ccc1.thy
changeset 2275 dbce3dce821a
parent 1479 21eb5e156d91
child 2640 ee4dfce170a0
--- 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"