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

