src/HOLCF/ex/ROOT.ML
changeset 3154 6e20bf579edb
parent 2570 24d7e8fb8261
child 3951 d52a49a7d8f3
     1.1 --- a/src/HOLCF/ex/ROOT.ML	Mon May 12 12:10:49 1997 +0200
     1.2 +++ b/src/HOLCF/ex/ROOT.ML	Mon May 12 14:24:31 1997 +0200
     1.3 @@ -12,7 +12,6 @@
     1.4  proof_timing := true;
     1.5  
     1.6  time_use_thy "Classlib";
     1.7 -time_use_thy "Witness";
     1.8  time_use_thy "Dnat";
     1.9  time_use_thy "Dlist";
    1.10  time_use_thy "Stream";