clasohm@1341: HOLCF/ReadMe clasohm@1341: clasohm@1341:

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: clasohm@1341: Version: 2.0
clasohm@1341: Date: 16.08.95

clasohm@1341: clasohm@1341: A detailed description of the entire development can be found in clasohm@1341: clasohm@1341:

clasohm@1341: clasohm@1341: Changes: clasohm@1341: clasohm@1341:
clasohm@1341:
14.10.94 clasohm@1341:
New translation mechanism for continuous infixes clasohm@1341: clasohm@1341:
18.05.95 clasohm@1341:
Conversion to curried version of HOL. clasohm@1341: clasohm@1341:
28.06.95 clasohm@1341:
The old uncurried version of HOLCF is no longer supported clasohm@1341: in the distribution. clasohm@1341: clasohm@1341:
18.08.95 clasohm@1341:
added sections axioms, ops, domain, genertated clasohm@1341: and 8bit support clasohm@1341:
clasohm@1341: