isabelle: src/HOLCF/README@324aa8134639 (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
1410 324aa8134639 changed predicate flat to is_flat in theory Fix.thy regensbu parents: 1274 diff changeset	22	18.08.95 added sections axioms, ops, domain, generated
324aa8134639 changed predicate flat to is_flat in theory Fix.thy regensbu parents: 1274 diff changeset	23	and optional 8bit support
1274 ea0668a1c0ba added 8bit pragmas regensbu parents: 1168 diff changeset	24

author	regensbu
	Wed, 20 Dec 1995 16:28:51 +0100
changeset 1410	324aa8134639
parent 1274	ea0668a1c0ba
permissions	-rw-r--r--