1.1 --- a/src/HOLCF/ROOT.ML	Thu Mar 16 00:00:30 1995 +0100
     1.2 +++ b/src/HOLCF/ROOT.ML	Fri Mar 17 15:35:09 1995 +0100
     1.3 @@ -60,6 +60,7 @@
     1.4  
     1.5  use_thy "Dnat";
     1.6  use_thy "Dnat2";
     1.7 +
     1.8  use_thy "Stream";
     1.9  use_thy "Stream2";
    1.10  use_thy "Dlist";