src/HOL/ex/ROOT.ML
changeset 14592 dd1a2905ea73
parent 14569 78b75a9eec01
child 14603 985eb6708207
     1.1 --- a/src/HOL/ex/ROOT.ML	Fri Apr 16 15:46:50 2004 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Apr 16 18:09:24 2004 +0200
     1.3 @@ -45,6 +45,7 @@
     1.4  if_svc_enabled time_use_thy "svc_test";
     1.5  
     1.6  time_use_thy "Refute_Examples";
     1.7 +time_use_thy "Quickcheck_Examples";
     1.8  
     1.9  no_document use_thy "Word";
    1.10  time_use_thy "Adder";