--- a/src/HOL/HOL.thy Tue Jun 15 14:28:08 2010 +0200
+++ b/src/HOL/HOL.thy Tue Jun 15 14:28:22 2010 +0200
@@ -1773,6 +1773,7 @@
setup {*
Code_Preproc.map_pre (K HOL_basic_ss)
#> Code_Preproc.map_post (K HOL_basic_ss)
+ #> Code_Simp.map_ss (K HOL_basic_ss)
*}
subsubsection {* Equality *}