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