src/HOL/ex/ROOT.ML
changeset 14220 4dc132902672
parent 13880 4f7f30f68926
child 14244 f58598341d30
     1.1 --- a/src/HOL/ex/ROOT.ML	Fri Oct 03 12:36:16 2003 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Wed Oct 08 15:57:41 2003 +0200
     1.3 @@ -20,8 +20,7 @@
     1.4  
     1.5  time_use_thy "NatSum";
     1.6  time_use_thy "Intuitionistic";
     1.7 -time_use     "cla.ML";
     1.8 -time_use     "mesontest.ML";
     1.9 +time_use_thy "Classical";
    1.10  time_use_thy "mesontest2";
    1.11  time_use_thy "PresburgerEx";
    1.12  time_use_thy "BT";