src/HOL/ex/ROOT.ML

--- a/src/HOL/ex/ROOT.ML	Wed Feb 20 23:14:59 2008 +0100
+++ b/src/HOL/ex/ROOT.ML	Wed Feb 20 23:24:38 2008 +0100
@@ -68,8 +68,6 @@
 
 time_use_thy "Reflection";
 
-time_use_thy "NBE";
-
 time_use_thy "SVC_Oracle";
 if_svc_enabled time_use_thy "svc_test";