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

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

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

A short survey is available in: