tuned;
authorwenzelm
Mon Jun 28 23:02:03 1999 +0200 (1999-06-28)
changeset 6852fe39a3054d82
parent 6851 526c0b90bcef
child 6853 80f88b762816
tuned;
src/Pure/Isar/proof_context.ML
     1.1 --- a/src/Pure/Isar/proof_context.ML	Mon Jun 28 21:48:36 1999 +0200
     1.2 +++ b/src/Pure/Isar/proof_context.ML	Mon Jun 28 23:02:03 1999 +0200
     1.3 @@ -117,8 +117,6 @@
     1.4      else [Pretty.string_of (Pretty.big_list name (map pretty_itms items))]
     1.5    end;
     1.6  
     1.7 -val print_items = seq writeln ooo strings_of_items;
     1.8 -
     1.9  
    1.10  (* term bindings *)
    1.11