src/HOLCF/README.html
author clasohm
Fri Nov 17 13:22:50 1995 +0100 (1995-11-17)
changeset 1341 69fec018854c
child 1410 324aa8134639
permissions -rw-r--r--
HTML version of README
     1 <HTML><HEAD><TITLE>HOLCF/ReadMe</TITLE></HEAD><BODY>
     2 
     3 <H2>HOLCF: A higher order version of LCF based on Isabelle HOL</H2>
     4 
     5 Author:     Franz Regensburger<BR>
     6 Copyright   1995 Technische Universität München<P>
     7 
     8 Version: 2.0<BR>
     9 Date: 16.08.95<P>
    10 
    11 A detailed description of the entire development can be found in 
    12 
    13 <UL>
    14 <LI>Franz Regensburger,<BR>
    15     HOLCF: Eine konservative Erweiterung von HOL um LCF,<BR>
    16     Dissertation, Technische Universität München, 1994
    17 </UL>
    18 
    19 Changes:
    20 
    21 <DL>
    22 <DT>14.10.94
    23 <DD>New translation mechanism for continuous infixes
    24 
    25 <DT>18.05.95
    26 <DD>Conversion to curried version of HOL.
    27 
    28 <DT>28.06.95
    29 <DD>The old uncurried version of HOLCF is no longer supported
    30     in the distribution.
    31 
    32 <DT>18.08.95
    33 <DD>added sections axioms, ops, domain, genertated
    34     and 8bit support
    35 </DL>
    36 </BODY></HTML>