nbe: no_document;
authorwenzelm
Sat Mar 11 16:53:10 2006 +0100 (2006-03-11)
changeset 19241613f374ea27d
parent 19240 3a73cb17a707
child 19242 3c72963588c1
nbe: no_document;
src/HOL/ex/ROOT.ML
     1.1 --- a/src/HOL/ex/ROOT.ML	Fri Mar 10 19:49:58 2006 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Sat Mar 11 16:53:10 2006 +0100
     1.3 @@ -57,7 +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 +no_document time_use_thy "nbe";
     1.9  
    1.10  no_document use_thy "Word";
    1.11  time_use_thy "Adder";