cleaned sig;
removed add_defns (now in drule.ML as add_defs);
removed add_sigclass;
minor internal changes;
(* Title: HOLCF/HOLCF.thy
ID: $Id$
Author: Franz Regensburger
Copyright 1993 Technische Universitaet Muenchen
Top theory for HOLCF system
*)
HOLCF = Tr2