src/HOLCF/README.html
changeset 1341 69fec018854c
child 1410 324aa8134639
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOLCF/README.html	Fri Nov 17 13:22:50 1995 +0100
     1.3 @@ -0,0 +1,36 @@
     1.4 +<HTML><HEAD><TITLE>HOLCF/ReadMe</TITLE></HEAD><BODY>
     1.5 +
     1.6 +<H2>HOLCF: A higher order version of LCF based on Isabelle HOL</H2>
     1.7 +
     1.8 +Author:     Franz Regensburger<BR>
     1.9 +Copyright   1995 Technische Universität München<P>
    1.10 +
    1.11 +Version: 2.0<BR>
    1.12 +Date: 16.08.95<P>
    1.13 +
    1.14 +A detailed description of the entire development can be found in 
    1.15 +
    1.16 +<UL>
    1.17 +<LI>Franz Regensburger,<BR>
    1.18 +    HOLCF: Eine konservative Erweiterung von HOL um LCF,<BR>
    1.19 +    Dissertation, Technische Universität München, 1994
    1.20 +</UL>
    1.21 +
    1.22 +Changes:
    1.23 +
    1.24 +<DL>
    1.25 +<DT>14.10.94
    1.26 +<DD>New translation mechanism for continuous infixes
    1.27 +
    1.28 +<DT>18.05.95
    1.29 +<DD>Conversion to curried version of HOL.
    1.30 +
    1.31 +<DT>28.06.95
    1.32 +<DD>The old uncurried version of HOLCF is no longer supported
    1.33 +    in the distribution.
    1.34 +
    1.35 +<DT>18.08.95
    1.36 +<DD>added sections axioms, ops, domain, genertated
    1.37 +    and 8bit support
    1.38 +</DL>
    1.39 +</BODY></HTML>