--- a/src/HOLCF/FOCUS/Fstream.thy Sat Dec 01 18:51:46 2001 +0100 +++ b/src/HOLCF/FOCUS/Fstream.thy Sat Dec 01 18:52:32 2001 +0100 @@ -10,7 +10,7 @@ Fstream = Stream + -default term +default type types 'a fstream = ('a lift) stream