# HG changeset patch
# User wenzelm
# Date 1203546278 -3600
# Node ID 200b4e401e650eeaf0057784e778f2470ac92743
# Parent  b9fc7ac04c8b17fd71eab30f0b39e3533308df2b
removed NBE;

diff -r b9fc7ac04c8b -r 200b4e401e65 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";