1.1 --- a/src/HOL/Groups.thy	Sat May 25 15:00:53 2013 +0200
     1.2 +++ b/src/HOL/Groups.thy	Sat May 25 15:37:53 2013 +0200
     1.3 @@ -121,7 +121,7 @@
     1.4  simproc_setup reorient_zero ("0 = x") = Reorient_Proc.proc
     1.5  simproc_setup reorient_one ("1 = x") = Reorient_Proc.proc
     1.6  
     1.7 -typed_print_translation (advanced) {*
     1.8 +typed_print_translation {*
     1.9    let
    1.10      fun tr' c = (c, fn ctxt => fn T => fn ts =>
    1.11        if not (null ts) orelse T = dummyT orelse