src/HOL/Code_Setup.thy
changeset 24293 7e67b9706211
parent 24285 066bb557570f
child 24463 841c2e24761f
     1.1 --- a/src/HOL/Code_Setup.thy	Thu Aug 16 11:45:05 2007 +0200
     1.2 +++ b/src/HOL/Code_Setup.thy	Thu Aug 16 11:45:06 2007 +0200
     1.3 @@ -152,8 +152,6 @@
     1.4  
     1.5  subsection {* Normalization by evaluation *}
     1.6  
     1.7 -setup Nbe.setup
     1.8 -
     1.9  method_setup normalization = {*
    1.10    Method.no_args (Method.SIMPLE_METHOD'
    1.11      (CONVERSION (ObjectLogic.judgment_conv Nbe.normalization_conv)