isabelle: src/HOLCF/README@04320c295500 (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
e685b5411617 README file nipkow parents: diff changeset	5	Copyright 1993,1994 Technische Universitaet Muenchen
e685b5411617 README file nipkow parents: diff changeset	6
752 b89462f9d5f1 ---------------------------------------------------------------------- regensbu parents: 627 diff changeset	7	Version: 1.5
b89462f9d5f1 ---------------------------------------------------------------------- regensbu parents: 627 diff changeset	8	Date: 14.10.94
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:
b89462f9d5f1 ---------------------------------------------------------------------- regensbu parents: 627 diff changeset	16	14.10. New translation mechanism for continuous infixes

author	lcp
	Thu, 08 Dec 1994 11:26:25 +0100
changeset 761	04320c295500
parent 752	b89462f9d5f1
child 1168	74be52691d62
permissions	-rw-r--r--