--- a/src/Pure/Isar/proof.ML Tue Mar 18 17:54:27 2003 +0100
+++ b/src/Pure/Isar/proof.ML Tue Mar 18 17:55:54 2003 +0100
@@ -321,7 +321,7 @@
(** pretty_state **)
-val show_main_goal = ref true;
+val show_main_goal = ref false;
val verbose = ProofContext.verbose;