src/HOL/ex/ROOT.ML
changeset 19148 f03a9a1cbe0e
parent 19085 a1a251b297dd
child 19241 613f374ea27d
     1.1 --- a/src/HOL/ex/ROOT.ML	Mon Feb 27 14:03:31 2006 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Mon Feb 27 14:34:03 2006 +0100
     1.3 @@ -57,6 +57,7 @@
     1.4  
     1.5  time_use_thy "Refute_Examples";
     1.6  time_use_thy "Quickcheck_Examples";
     1.7 +time_use_thy "nbe";
     1.8  
     1.9  no_document use_thy "Word";
    1.10  time_use_thy "Adder";