diff -r 348aed032cda -r 36ffe23b25f8 src/HOL/Groups.thy
--- a/src/HOL/Groups.thy	Sat May 25 15:00:53 2013 +0200
+++ b/src/HOL/Groups.thy	Sat May 25 15:37:53 2013 +0200
@@ -121,7 +121,7 @@
 simproc_setup reorient_zero ("0 = x") = Reorient_Proc.proc
 simproc_setup reorient_one ("1 = x") = Reorient_Proc.proc
 
-typed_print_translation (advanced) {*
+typed_print_translation {*
   let
     fun tr' c = (c, fn ctxt => fn T => fn ts =>
       if not (null ts) orelse T = dummyT orelse