made major changes to grammar;
added call of Type.infer_types to automatically eliminate ambiguities
(* Title: HOLCF/HOLCF.thy
ID: $Id$
Author: Franz Regensburger
Copyright 1993 Technische Universitaet Muenchen
Top theory for HOLCF system
*)
HOLCF = Tr2