tuned pretty_thms;
authorwenzelm
Wed Sep 22 21:45:35 1999 +0200 (1999-09-22)
changeset 7580536499cf71af
parent 7579 20adf381fb0a
child 7581 18070ae7a84c
tuned pretty_thms;
src/Pure/Isar/proof.ML
     1.1 --- a/src/Pure/Isar/proof.ML	Wed Sep 22 21:45:05 1999 +0200
     1.2 +++ b/src/Pure/Isar/proof.ML	Wed Sep 22 21:45:35 1999 +0200
     1.3 @@ -282,7 +282,7 @@
     1.4  val pretty_thm = ProofContext.pretty_thm;
     1.5  
     1.6  fun pretty_thms [th] = pretty_thm th
     1.7 -  | pretty_thms ths = Pretty.block (Pretty.fbreaks (map pretty_thm ths));
     1.8 +  | pretty_thms ths = Pretty.blk (0, Pretty.fbreaks (map pretty_thm ths));
     1.9  
    1.10  
    1.11  val verbose = ProofContext.verbose;