--- a/src/HOLCF/ROOT.ML Tue Sep 07 15:59:16 2004 +0200 +++ b/src/HOLCF/ROOT.ML Tue Sep 07 16:02:42 2004 +0200 @@ -24,6 +24,5 @@ use "domain/interface.ML"; path_add "~~/src/HOLCF/ex"; -use_thy "Streams"; print_depth 10;