--- a/src/HOLCF/explicit_domains/Stream.thy	Fri Jan 31 16:39:27 1997 +0100
+++ b/src/HOLCF/explicit_domains/Stream.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.
+
 Theory for streams without defined empty stream 
   'a stream = 'a ** ('a stream)u