equal
deleted
inserted
replaced
200 |
200 |
201 val rule_trace = Attrib.setup_config_bool (Binding.name "rule_trace") (fn _ => false); |
201 val rule_trace = Attrib.setup_config_bool (Binding.name "rule_trace") (fn _ => false); |
202 |
202 |
203 fun trace ctxt rules = |
203 fun trace ctxt rules = |
204 if Config.get ctxt rule_trace andalso not (null rules) then |
204 if Config.get ctxt rule_trace andalso not (null rules) then |
205 Pretty.big_list "rules:" (map (Display.pretty_thm ctxt) rules) |
205 Pretty.big_list "rules:" (map (Display.pretty_thm_item ctxt) rules) |
206 |> Pretty.string_of |> tracing |
206 |> Pretty.string_of |> tracing |
207 else (); |
207 else (); |
208 |
208 |
209 local |
209 local |
210 |
210 |