author | clasohm |
Tue, 07 Feb 1995 11:59:32 +0100 | |
changeset 892 | d0dc8d057929 |
parent 752 | b89462f9d5f1 |
child 1168 | 74be52691d62 |
permissions | -rw-r--r-- |
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. New translation mechanism for continuous infixes