src/HOL/ex/ROOT.ML
changeset 13880 4f7f30f68926
parent 13200 7618f289c9c1
child 14220 4dc132902672
     1.1 --- a/src/HOL/ex/ROOT.ML	Tue Mar 25 09:49:45 2003 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Tue Mar 25 09:50:53 2003 +0100
     1.3 @@ -23,6 +23,7 @@
     1.4  time_use     "cla.ML";
     1.5  time_use     "mesontest.ML";
     1.6  time_use_thy "mesontest2";
     1.7 +time_use_thy "PresburgerEx";
     1.8  time_use_thy "BT";
     1.9  time_use_thy "AVL";
    1.10  time_use_thy "InSort";