src/Pure/Isar/overloading.ML

     val overloading = get_overloading lthy;
     fun pr_operation ((c, ty), (v, _)) =
       Pretty.block (Pretty.breaks
         [Pretty.str v, Pretty.str "==", Pretty.str (Proof_Context.extern_const lthy c),
           Pretty.str "::", Syntax.pretty_typ lthy ty]);
-  in Pretty.str "overloading" :: map pr_operation overloading end;
+  in Pretty.command "overloading" :: map pr_operation overloading end;
 
 fun conclude lthy =
   let
     val overloading = get_overloading lthy;
     val _ =