# HG changeset patch
# User wenzelm
# Date 938029535 -7200
# Node ID 536499cf71afb811f0d0c0274a60c345c21098d7
# Parent  20adf381fb0a7e587958c141b7b374bdd2b0778d
tuned pretty_thms;

diff -r 20adf381fb0a -r 536499cf71af src/Pure/Isar/proof.ML
--- a/src/Pure/Isar/proof.ML	Wed Sep 22 21:45:05 1999 +0200
+++ b/src/Pure/Isar/proof.ML	Wed Sep 22 21:45:35 1999 +0200
@@ -282,7 +282,7 @@
 val pretty_thm = ProofContext.pretty_thm;
 
 fun pretty_thms [th] = pretty_thm th
-  | pretty_thms ths = Pretty.block (Pretty.fbreaks (map pretty_thm ths));
+  | pretty_thms ths = Pretty.blk (0, Pretty.fbreaks (map pretty_thm ths));
 
 
 val verbose = ProofContext.verbose;