nbe: no_document;

--- a/src/HOL/ex/ROOT.ML	Fri Mar 10 19:49:58 2006 +0100
+++ b/src/HOL/ex/ROOT.ML	Sat Mar 11 16:53:10 2006 +0100
@@ -57,7 +57,7 @@
 
 time_use_thy "Refute_Examples";
 time_use_thy "Quickcheck_Examples";
-time_use_thy "nbe";
+no_document time_use_thy "nbe";
 
 no_document use_thy "Word";
 time_use_thy "Adder";