adjusted postprocessort setup
authorhaftmann
Thu Jul 03 11:16:08 2008 +0200 (2008-07-03)
changeset 27454fb6a272fe5d0
parent 27453 eecd9d84e41b
child 27455 58b695d10cdf
adjusted postprocessort setup
src/HOL/Code_Setup.thy
     1.1 --- a/src/HOL/Code_Setup.thy	Thu Jul 03 11:16:07 2008 +0200
     1.2 +++ b/src/HOL/Code_Setup.thy	Thu Jul 03 11:16:08 2008 +0200
     1.3 @@ -86,7 +86,7 @@
     1.4  
     1.5  text {* type bool *}
     1.6  
     1.7 -lemmas [code func, code unfold, code post] = imp_conv_disj
     1.8 +lemmas [code func, code unfold, symmetric, code post] = imp_conv_disj
     1.9  
    1.10  code_type bool
    1.11    (SML "bool")