src/HOLCF/README.html
author oheimb
Fri, 13 Dec 1996 18:45:58 +0100
changeset 2394 91d8abf108be
parent 1410 324aa8134639
child 3279 815ef5848324
permissions -rw-r--r--
adaptions for symbol font
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1341
69fec018854c HTML version of README
clasohm
parents:
diff changeset
     1
<HTML><HEAD><TITLE>HOLCF/ReadMe</TITLE></HEAD><BODY>
69fec018854c HTML version of README
clasohm
parents:
diff changeset
     2
1410
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
     3
<H3>HOLCF: A higher order version of LCF based on Isabelle HOL</H3>
1341
69fec018854c HTML version of README
clasohm
parents:
diff changeset
     4
69fec018854c HTML version of README
clasohm
parents:
diff changeset
     5
Author:     Franz Regensburger<BR>
69fec018854c HTML version of README
clasohm
parents:
diff changeset
     6
Copyright   1995 Technische Universität München<P>
69fec018854c HTML version of README
clasohm
parents:
diff changeset
     7
69fec018854c HTML version of README
clasohm
parents:
diff changeset
     8
Version: 2.0<BR>
69fec018854c HTML version of README
clasohm
parents:
diff changeset
     9
Date: 16.08.95<P>
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    10
1410
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    11
A detailed description (in german) of the entire development can be found in 
1341
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    12
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    13
<UL>
1410
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    14
  <li> <A HREF="http://www4.informatik.tu-muenchen.de/papers/Diss_Regensbu.ps.gz"> HOLCF: eine konservative Erweiterung von HOL um LCF</A>, <br>
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    15
        <A HREF="http://www4.informatik.tu-muenchen.de/~regensbu/">
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    16
        Franz Regenburger</A>. <br>
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    17
        Dissertation Technische Universit&auml;t M&uuml;nchen. <BR>
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    18
        Year: 1994.
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    19
</UL>
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    20
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    21
A short survey is available in
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    22
<UL>
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    23
<li><A HREF="http://www4.informatik.tu-muenchen.de/papers/Regensburger_HOLT1995.ps.gz">HOLCF: Higher Order Logic of Computable Functions</A> <br>
1341
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    24
</UL>
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    25
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    26
Changes:
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    27
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    28
<DL>
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    29
<DT>14.10.94
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    30
<DD>New translation mechanism for continuous infixes
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    31
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    32
<DT>18.05.95
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    33
<DD>Conversion to curried version of HOL.
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    34
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    35
<DT>28.06.95
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    36
<DD>The old uncurried version of HOLCF is no longer supported
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    37
    in the distribution.
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    38
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    39
<DT>18.08.95
1410
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    40
<DD>added sections axioms, ops, domain, generated
2394
91d8abf108be adaptions for symbol font
oheimb
parents: 1410
diff changeset
    41
    and optional 8bit symbolic font support
1341
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    42
</DL>
69fec018854c HTML version of README
clasohm
parents:
diff changeset
    43
</BODY></HTML>
1410
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    44
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    45
324aa8134639 changed predicate flat to is_flat in theory Fix.thy
regensbu
parents: 1341
diff changeset
    46