author | regensbu |
Fri, 06 Oct 1995 17:25:24 +0100 | |
changeset 1274 | ea0668a1c0ba |
parent 1168 | 74be52691d62 |
child 1410 | 324aa8134639 |
permissions | -rw-r--r-- |
627 | 1 |
HOLCF: A higher order version of LCF based on Isabelle HOL |
2 |
========================================================== |
|
3 |
||
4 |
Author: Franz Regensburger |
|
1274 | 5 |
Copyright 1995 Technische Universitaet Muenchen |
627 | 6 |
|
1274 | 7 |
Version: 2.0 |
8 |
Date: 16.08.95 |
|
627 | 9 |
|
10 |
A detailed description of the entire development can be found in |
|
11 |
||
12 |
[Franz Regensburger] HOLCF: Eine konservative Erweiterung von HOL um LCF, |
|
13 |
Dissertation, Technische Universit"at M"unchen, 1994 |
|
14 |
||
752
b89462f9d5f1
----------------------------------------------------------------------
regensbu
parents:
627
diff
changeset
|
15 |
Changes: |
1168
74be52691d62
The curried version of HOLCF is now just called HOLCF. The old
regensbu
parents:
752
diff
changeset
|
16 |
14.10.94 New translation mechanism for continuous infixes |
74be52691d62
The curried version of HOLCF is now just called HOLCF. The old
regensbu
parents:
752
diff
changeset
|
17 |
18.05.95 Conversion to curried version of HOL. |
74be52691d62
The curried version of HOLCF is now just called HOLCF. The old
regensbu
parents:
752
diff
changeset
|
18 |
|
74be52691d62
The curried version of HOLCF is now just called HOLCF. The old
regensbu
parents:
752
diff
changeset
|
19 |
28.06.95 The old uncurried version of HOLCF is no longer supported |
74be52691d62
The curried version of HOLCF is now just called HOLCF. The old
regensbu
parents:
752
diff
changeset
|
20 |
in the distribution. |
74be52691d62
The curried version of HOLCF is now just called HOLCF. The old
regensbu
parents:
752
diff
changeset
|
21 |
|
1274 | 22 |
18.08.95 added sections axioms, ops, domain, genertated |
23 |
and 8bit support |
|
24 |