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, genertated
and 8bit support