src/HOL/ex/ROOT.ML
changeset 14494 48ae8d678d88
parent 14482 82774ac788ae
child 14569 78b75a9eec01
     1.1 --- a/src/HOL/ex/ROOT.ML	Mon Mar 29 10:17:35 2004 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Mon Mar 29 15:35:04 2004 +0200
     1.3 @@ -40,3 +40,5 @@
     1.4  if_svc_enabled time_use_thy "svc_test";
     1.5  
     1.6  time_use_thy "Refute_Examples";
     1.7 +
     1.8 +time_use_thy "Adder";