src/Pure/Isar/toplevel.ML
changeset 8561 2675e2f4dc61
parent 8465 df6549f5a01f
child 8722 f745b34dcde3
     1.1 --- a/src/Pure/Isar/toplevel.ML	Thu Mar 23 11:28:10 2000 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Thu Mar 23 21:36:43 2000 +0100
     1.3 @@ -80,7 +80,7 @@
     1.4    | str_of_node (Proof _) = "in proof mode";
     1.5  
     1.6  fun print_ctxt thy = Pretty.writeln (Pretty.block
     1.7 -  [Pretty.str "Theory:", Pretty.brk 1, Pretty.str (PureThy.get_name thy),
     1.8 +  [Pretty.str "theory", Pretty.brk 1, Pretty.str (PureThy.get_name thy),
     1.9      Pretty.str " =", Pretty.brk 1, Display.pretty_theory thy]);
    1.10  
    1.11  fun print_node_ctxt (Theory thy) = print_ctxt thy