src/HOLCF/ex/ROOT.ML
changeset 3951 d52a49a7d8f3
parent 3154 6e20bf579edb
child 4449 df30e75f670f
     1.1 --- a/src/HOLCF/ex/ROOT.ML	Mon Oct 20 11:53:42 1997 +0200
     1.2 +++ b/src/HOLCF/ex/ROOT.ML	Mon Oct 20 12:45:51 1997 +0200
     1.3 @@ -11,9 +11,7 @@
     1.4  writeln"Root file for HOLCF examples";
     1.5  proof_timing := true;
     1.6  
     1.7 -time_use_thy "Classlib";
     1.8  time_use_thy "Dnat";
     1.9 -time_use_thy "Dlist";
    1.10  time_use_thy "Stream";
    1.11  time_use_thy "Dagstuhl";
    1.12  time_use_thy "Focus_ex";