src/HOL/Code_Setup.thy

--- a/src/HOL/Code_Setup.thy	Thu Aug 16 11:45:05 2007 +0200
+++ b/src/HOL/Code_Setup.thy	Thu Aug 16 11:45:06 2007 +0200
@@ -152,8 +152,6 @@
 
 subsection {* Normalization by evaluation *}
 
-setup Nbe.setup
-
 method_setup normalization = {*
   Method.no_args (Method.SIMPLE_METHOD'
     (CONVERSION (ObjectLogic.judgment_conv Nbe.normalization_conv)