src/HOLCF/Stream.ML
Thu, 29 Jun 1995 16:28:40 +0200 regensbu The curried version of HOLCF is now just called HOLCF. The old
Sat, 11 Mar 1995 17:46:14 +0100 nipkow Added type constraints to enforce correct choice of variable names.
Tue, 07 Feb 1995 11:59:32 +0100 clasohm added qed, qed_goal[w]
Thu, 06 Oct 1994 18:40:18 +0100 nipkow New version
Mon, 20 Jun 1994 12:03:16 +0200 nipkow Franz Regensburger's changes.
Thu, 24 Mar 1994 13:36:34 +0100 nipkow Franz fragen
Wed, 19 Jan 1994 17:35:01 +0100 nipkow Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
less more (0) tip