# HG changeset patch
# User wenzelm
# Date 1430669595 -7200
# Node ID 1f9cd721ece2bf9944b43ec1947e24d84c425e76
# Parent  79ad597fe699908cce0fed2554f1a52f71a18653
tuned output;

diff -r 79ad597fe699 -r 1f9cd721ece2 src/Pure/Isar/class.ML
--- a/src/Pure/Isar/class.ML	Sun May 03 17:52:27 2015 +0200
+++ b/src/Pure/Isar/class.ML	Sun May 03 18:13:15 2015 +0200
@@ -588,7 +588,10 @@
       Pretty.block (Pretty.breaks
         [Pretty.str v, Pretty.str "==", Proof_Context.pretty_const lthy c,
           Pretty.str "::", Syntax.pretty_typ lthy ty]);
-  in Pretty.keyword1 "instantiation" :: map pr_arity tycos @ map pr_param params end;
+  in
+    [Pretty.block
+      (Pretty.fbreaks (Pretty.keyword1 "instantiation" :: map pr_arity tycos @ map pr_param params))]
+  end;
 
 fun conclude lthy =
   let
@@ -754,4 +757,3 @@
   else [];
 
 end;
-
diff -r 79ad597fe699 -r 1f9cd721ece2 src/Pure/Isar/overloading.ML
--- a/src/Pure/Isar/overloading.ML	Sun May 03 17:52:27 2015 +0200
+++ b/src/Pure/Isar/overloading.ML	Sun May 03 18:13:15 2015 +0200
@@ -174,7 +174,10 @@
       Pretty.block (Pretty.breaks
         [Pretty.str v, Pretty.str "==", Proof_Context.pretty_const lthy c,
           Pretty.str "::", Syntax.pretty_typ lthy ty]);
-  in Pretty.keyword1 "overloading" :: map pr_operation overloading end;
+  in
+    [Pretty.block
+      (Pretty.fbreaks (Pretty.keyword1 "overloading" :: map pr_operation overloading))]
+  end;
 
 fun conclude lthy =
   let