wenzelm@3279: HOLCF/README clasohm@1341: wenzelm@3279:

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

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

clasohm@1341: wenzelm@3279: A detailed description (in german) of the entire development can be found in: clasohm@1341: clasohm@1341:

regensbu@1410: wenzelm@3279: A short survey is available in: regensbu@1410: clasohm@1341: clasohm@1341: