src/HOL/ex/ROOT.ML
changeset 12360 9c156045c8f2
parent 12276 7bafe3d6c248
child 12450 1162b280700a
     1.1 --- a/src/HOL/ex/ROOT.ML	Tue Dec 04 14:26:22 2001 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Tue Dec 04 17:59:36 2001 +0100
     1.3 @@ -4,6 +4,8 @@
     1.4  Miscellaneous examples for Higher-Order Logic.
     1.5  *)
     1.6  
     1.7 +time_use_thy "Higher_Order_Logic";
     1.8 +
     1.9  time_use_thy "Recdefs";
    1.10  time_use_thy "Primrec";
    1.11  time_use_thy "Locales";