Put in minimal simpset to avoid excessive simplification,
just as in revision 1.9 of HOL/indrule.ML
HOLCF: A higher order version of LCF based on Isabelle HOL
==========================================================
Author: Franz Regensburger
Copyright 1995 Technische Universitaet Muenchen
Version: 2.0
Date: 16.08.95
A detailed description of the entire development can be found in
[Franz Regensburger] HOLCF: Eine konservative Erweiterung von HOL um LCF,
Dissertation, Technische Universit"at M"unchen, 1994
Changes:
14.10.94 New translation mechanism for continuous infixes
18.05.95 Conversion to curried version of HOL.
28.06.95 The old uncurried version of HOLCF is no longer supported
in the distribution.
18.08.95 added sections axioms, ops, domain, generated
and optional 8bit support