1341
|
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>
|