--- a/src/HOLCF/FOCUS/Fstream.thy Mon May 24 11:29:49 2010 -0700
+++ b/src/HOLCF/FOCUS/Fstream.thy Mon May 24 12:10:24 2010 -0700
@@ -9,7 +9,7 @@
header {* FOCUS flat streams *}
theory Fstream
-imports "../ex/Stream"
+imports Stream
begin
default_sort type