* improved the theory data mechanism to support real encapsulation;
main change of the internal interfaces: data kind name (string)
replaced by private Object.kind, acting as authorization key;
(* Title: HOLCF/HOLCF.thy
ID: $Id$
Author: Franz Regensburger
Copyright 1993 Technische Universitaet Muenchen
Top theory for HOLCF system
*)
HOLCF = Sprod3 + Ssum3 + Up3 + Lift + Discrete + One + Tr