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"