--- 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";