| changeset 11905 | 77c63f8e9d9a |
| parent 11794 | ad12f865b70d |
| child 11962 | 4c6585866fb2 |
--- a/src/Pure/Isar/method.ML Tue Oct 23 19:14:31 2001 +0200 +++ b/src/Pure/Isar/method.ML Tue Oct 23 19:14:47 2001 +0200 @@ -133,7 +133,7 @@ val trace_rules = ref false; fun trace rules = - if not (! trace_rules) then () + if not (! trace_rules) orelse null rules then () else Pretty.writeln (Pretty.big_list "rules:" (map Display.pretty_thm rules));