src/HOL/ex/ROOT.ML
changeset 23193 1f2d94b6a8ef
parent 23191 b7f3a30f3d7f
child 23271 3f9ef4bf3f31
     1.1 --- a/src/HOL/ex/ROOT.ML	Fri Jun 01 22:09:16 2007 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Jun 01 23:21:40 2007 +0200
     1.3 @@ -39,6 +39,7 @@
     1.4  time_use_thy "Classical";
     1.5  time_use_thy "CTL";
     1.6  time_use_thy "mesontest2";
     1.7 +time_use_thy "Arith_Examples";
     1.8  time_use_thy "PresburgerEx";
     1.9  time_use_thy "Reflected_Presburger";
    1.10  time_use_thy "BT";