src/HOLCF/FOCUS/Fstream.thy

--- a/src/HOLCF/FOCUS/Fstream.thy	Tue Sep 07 15:59:16 2004 +0200
+++ b/src/HOLCF/FOCUS/Fstream.thy	Tue Sep 07 16:02:42 2004 +0200
@@ -3,11 +3,12 @@
     Author: 	David von Oheimb, TU Muenchen
 
 FOCUS streams (with lifted elements)
+###TODO: integrate Fstreams.thy
 *)
 
 (* FOCUS flat streams *)
 
-Fstream = Streams + 
+Fstream = Stream + 
 
 default type