isabelle: src/HOLCF/README.html@d95d209ae1c2 (annotated)

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ät Mü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

author	wenzelm
	Wed, 21 May 1997 17:11:24 +0200
changeset 3277	d95d209ae1c2
parent 2394	91d8abf108be
child 3279	815ef5848324
permissions	-rw-r--r--