src/Pure/Tools/find_theorems.ML
changeset 51658 21c10672633b
parent 50217 ce1f0602f48e
child 51717 9e7d1c139569
     1.1 --- a/src/Pure/Tools/find_theorems.ML	Tue Apr 09 13:55:28 2013 +0200
     1.2 +++ b/src/Pure/Tools/find_theorems.ML	Tue Apr 09 15:29:25 2013 +0200
     1.3 @@ -628,7 +628,6 @@
     1.4      "find theorems meeting specified criteria"
     1.5      (options -- query_parser
     1.6        >> (fn ((opt_lim, rem_dups), spec) =>
     1.7 -        Toplevel.no_timing o
     1.8          Toplevel.keep (fn state =>
     1.9            let
    1.10              val ctxt = Toplevel.context_of state;