Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/README
author regensbu
Thu, 29 Jun 1995 16:28:40 +0200
changeset 1168 74be52691d62
parent 752 b89462f9d5f1
child 1274 ea0668a1c0ba
permissions -rw-r--r--
The curried version of HOLCF is now just called HOLCF. The old uncurried version is no longer supported

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

Author:     Franz Regensburger
Copyright   1993,1994 Technische Universitaet Muenchen

Version: 1.5
Date: 14.10.94

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.
isabelle