# HG changeset patch
# User wenzelm
# Date 930603723 -7200
# Node ID fe39a3054d8222179ef6e4c032b62e6b455bd2f3
# Parent  526c0b90bcef427d8102324fdd5f10b518b77352
tuned;

diff -r 526c0b90bcef -r fe39a3054d82 src/Pure/Isar/proof_context.ML
--- a/src/Pure/Isar/proof_context.ML	Mon Jun 28 21:48:36 1999 +0200
+++ b/src/Pure/Isar/proof_context.ML	Mon Jun 28 23:02:03 1999 +0200
@@ -117,8 +117,6 @@
     else [Pretty.string_of (Pretty.big_list name (map pretty_itms items))]
   end;
 
-val print_items = seq writeln ooo strings_of_items;
-
 
 (* term bindings *)