src/Pure/Isar/method.ML
changeset 11905 77c63f8e9d9a
parent 11794 ad12f865b70d
child 11962 4c6585866fb2
equal deleted inserted replaced
11904:3a4b3c311a97 11905:77c63f8e9d9a
   131 (** tracing *)
   131 (** tracing *)
   132 
   132 
   133 val trace_rules = ref false;
   133 val trace_rules = ref false;
   134 
   134 
   135 fun trace rules =
   135 fun trace rules =
   136   if not (! trace_rules) then ()
   136   if not (! trace_rules) orelse null rules then ()
   137   else Pretty.writeln (Pretty.big_list "rules:" (map Display.pretty_thm rules));
   137   else Pretty.writeln (Pretty.big_list "rules:" (map Display.pretty_thm rules));
   138 
   138 
   139 
   139 
   140 
   140 
   141 (** global and local rule data **)
   141 (** global and local rule data **)