src/HOLCF/README.html
changeset 3279 815ef5848324
parent 2394 91d8abf108be
child 6034 96ac04a17c56
     1.1 --- a/src/HOLCF/README.html	Wed May 21 17:11:46 1997 +0200
     1.2 +++ b/src/HOLCF/README.html	Wed May 21 17:13:00 1997 +0200
     1.3 @@ -1,14 +1,11 @@
     1.4 -<HTML><HEAD><TITLE>HOLCF/ReadMe</TITLE></HEAD><BODY>
     1.5 +<HTML><HEAD><TITLE>HOLCF/README</TITLE></HEAD><BODY>
     1.6  
     1.7 -<H3>HOLCF: A higher order version of LCF based on Isabelle HOL</H3>
     1.8 +<H3>HOLCF: A higher-order version of LCF based on Isabelle/HOL</H3>
     1.9  
    1.10  Author:     Franz Regensburger<BR>
    1.11  Copyright   1995 Technische Universität München<P>
    1.12  
    1.13 -Version: 2.0<BR>
    1.14 -Date: 16.08.95<P>
    1.15 -
    1.16 -A detailed description (in german) of the entire development can be found in 
    1.17 +A detailed description (in german) of the entire development can be found in:
    1.18  
    1.19  <UL>
    1.20    <li> <A HREF="http://www4.informatik.tu-muenchen.de/papers/Diss_Regensbu.ps.gz"> HOLCF: eine konservative Erweiterung von HOL um LCF</A>, <br>
    1.21 @@ -18,29 +15,9 @@
    1.22          Year: 1994.
    1.23  </UL>
    1.24  
    1.25 -A short survey is available in
    1.26 +A short survey is available in:
    1.27  <UL>
    1.28  <li><A HREF="http://www4.informatik.tu-muenchen.de/papers/Regensburger_HOLT1995.ps.gz">HOLCF: Higher Order Logic of Computable Functions</A> <br>
    1.29  </UL>
    1.30  
    1.31 -Changes:
    1.32 -
    1.33 -<DL>
    1.34 -<DT>14.10.94
    1.35 -<DD>New translation mechanism for continuous infixes
    1.36 -
    1.37 -<DT>18.05.95
    1.38 -<DD>Conversion to curried version of HOL.
    1.39 -
    1.40 -<DT>28.06.95
    1.41 -<DD>The old uncurried version of HOLCF is no longer supported
    1.42 -    in the distribution.
    1.43 -
    1.44 -<DT>18.08.95
    1.45 -<DD>added sections axioms, ops, domain, generated
    1.46 -    and optional 8bit symbolic font support
    1.47 -</DL>
    1.48  </BODY></HTML>
    1.49 -
    1.50 -
    1.51 -