--- a/src/Pure/Isar/isar_output.ML Wed Jun 01 09:46:06 2005 +0200
+++ b/src/Pure/Isar/isar_output.ML Wed Jun 01 10:30:07 2005 +0200
@@ -394,10 +394,10 @@
val _ = add_commands
[("thm", args Attrib.local_thmss (output_seq_with pretty_thm)),
- ("thm_style", args ((Scan.lift Args.name) -- Attrib.local_thm) (output_with pretty_thm_style)),
+ ("thm_style", args ((Scan.lift (Args.name || Args.symbol)) -- Attrib.local_thm) (output_with pretty_thm_style)),
("prop", args Args.local_prop (output_with pretty_term)),
("term", args Args.local_term (output_with pretty_term)),
- ("term_style", args ((Scan.lift Args.name) -- Args.local_term) (output_with pretty_term_style)),
+ ("term_style", args ((Scan.lift (Args.name || Args.symbol)) -- Args.local_term) (output_with pretty_term_style)),
("term_type", args Args.local_term (output_with pretty_term_typ)),
("typeof", args Args.local_term (output_with pretty_term_typeof)),
("const", args Args.local_term (output_with pretty_term_const)),