src/HOLCF/FOCUS/ROOT.ML
Thu, 14 Jul 2005 19:28:26 +0200 wenzelm with_path;
Tue, 07 Sep 2004 16:02:42 +0200 oheimb integrated Streams with ex/Stream.*; added FOCUS/Fstreams.thy
Mon, 12 Jul 2004 15:15:23 +0200 oheimb added README
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Mon, 12 Apr 2004 12:18:48 +0200 oheimb added Streams.thy (with stream concatenation etc.)
Thu, 31 May 2001 20:52:51 +0200 wenzelm tuned
Thu, 31 May 2001 16:53:00 +0200 oheimb added FOCUS including the One-Element Buffer by Manfred Broy
less more (0) tip