--- a/src/HOL/ex/ROOT.ML Mon Feb 27 14:03:31 2006 +0100
+++ b/src/HOL/ex/ROOT.ML Mon Feb 27 14:34:03 2006 +0100
@@ -57,6 +57,7 @@
time_use_thy "Refute_Examples";
time_use_thy "Quickcheck_Examples";
+time_use_thy "nbe";
no_document use_thy "Word";
time_use_thy "Adder";