src/HOLCF/explicit_domains/Stream2.thy

--- a/src/HOLCF/explicit_domains/Stream2.thy	Fri Jan 31 16:39:27 1997 +0100
+++ b/src/HOLCF/explicit_domains/Stream2.thy	Fri Jan 31 16:51:58 1997 +0100
@@ -3,6 +3,8 @@
     Author:     Franz Regensburger
     Copyright   1993 Technische Universitaet Muenchen
 
+NOT SUPPORTED ANY MORE. USE HOLCF/ex/Stream.thy INSTEAD.
+
 Additional constants for stream
 *)