--- a/src/HOLCF/FOCUS/Fstream.thy Wed Apr 28 11:41:27 2010 +0200 +++ b/src/HOLCF/FOCUS/Fstream.thy Wed Apr 28 12:07:52 2010 +0200 @@ -12,7 +12,7 @@ imports "../ex/Stream" begin -defaultsort type +default_sort type types 'a fstream = "'a lift stream"