equal
deleted
inserted
replaced
|
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> |