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 nipkow
Mon, 10 Oct 1994 12:57:23 +0100
changeset 627 e685b5411617
child 752 b89462f9d5f1
permissions -rw-r--r--
README file

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

Author:     Franz Regensburger
Copyright   1993,1994 Technische Universitaet Muenchen

Version: 1.4
Date: 06.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
isabelle