src/HOLCF/FOCUS/Fstreams.thy
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Tue, 07 Nov 2006 11:47:57 +0100 wenzelm renamed 'const_syntax' to 'notation';
Fri, 02 Jun 2006 19:41:37 +0200 wenzelm tuned;
Wed, 03 May 2006 03:47:15 +0200 huffman update to reflect changes in inverts/injects lemmas
Thu, 07 Jul 2005 19:55:46 +0200 huffman fixes to work with UU_reorient_simproc
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Fri, 03 Jun 2005 23:38:12 +0200 huffman fixed renamed theorems
Tue, 07 Sep 2004 16:02:42 +0200 oheimb integrated Streams with ex/Stream.*; added FOCUS/Fstreams.thy
less more (0) tip