HOLCF: A higher order version of LCF based on Isabelle HOL

Author: Franz Regensburger
Copyright 1995 Technische Universität München

Version: 2.0
Date: 16.08.95

A detailed description (in german) of the entire development can be found in

A short survey is available in 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 symbolic font support