isabelle: src/HOLCF/README@f172a7f14e49 (annotated)

627 e685b5411617 README file nipkow parents: diff changeset	1	HOLCF: A higher order version of LCF based on Isabelle HOL
e685b5411617 README file nipkow parents: diff changeset	2	==========================================================
e685b5411617 README file nipkow parents: diff changeset	3
e685b5411617 README file nipkow parents: diff changeset	4	Author: Franz Regensburger
1274 ea0668a1c0ba added 8bit pragmas regensbu parents: 1168 diff changeset	5	Copyright 1995 Technische Universitaet Muenchen
627 e685b5411617 README file nipkow parents: diff changeset	6
1274 ea0668a1c0ba added 8bit pragmas regensbu parents: 1168 diff changeset	7	Version: 2.0
ea0668a1c0ba added 8bit pragmas regensbu parents: 1168 diff changeset	8	Date: 16.08.95
627 e685b5411617 README file nipkow parents: diff changeset	9
e685b5411617 README file nipkow parents: diff changeset	10	A detailed description of the entire development can be found in
e685b5411617 README file nipkow parents: diff changeset	11
e685b5411617 README file nipkow parents: diff changeset	12	[Franz Regensburger] HOLCF: Eine konservative Erweiterung von HOL um LCF,
e685b5411617 README file nipkow parents: diff changeset	13	Dissertation, Technische Universit"at M"unchen, 1994
e685b5411617 README file nipkow parents: diff changeset	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 ea0668a1c0ba added 8bit pragmas regensbu parents: 1168 diff changeset	22	18.08.95 added sections axioms, ops, domain, genertated
ea0668a1c0ba added 8bit pragmas regensbu parents: 1168 diff changeset	23	and 8bit support
ea0668a1c0ba added 8bit pragmas regensbu parents: 1168 diff changeset	24

author	nipkow
	Sat, 18 Nov 1995 14:55:44 +0100
changeset 1344	f172a7f14e49
parent 1274	ea0668a1c0ba
child 1410	324aa8134639
permissions	-rw-r--r--