--- a/src/Pure/Tools/find_theorems.ML Wed Jun 17 15:00:19 2009 +0200
+++ b/src/Pure/Tools/find_theorems.ML Wed Jun 17 15:14:48 2009 +0200
@@ -282,7 +282,7 @@
in app (opt_add r r', consts', fs) end;
in app end;
-
+
in
fun filter_criterion ctxt opt_goal (b, c) =
@@ -417,7 +417,7 @@
val criteria = map (apsnd (read_criterion ctxt)) raw_criteria;
val (foundo, thms) = find_theorems ctxt opt_goal opt_limit rem_dups raw_criteria;
val returned = length thms;
-
+
val tally_msg =
(case foundo of
NONE => "displaying " ^ string_of_int returned ^ " theorems"