# HG changeset patch
# User wenzelm
# Date 1116782777 -7200
# Node ID 13f230daa195c4aac2e5fca4ec1c09ef632b6c9e
# Parent  1da07ac337114f0222bb6ed183cd2db982b36d5a
string FindTheorems.criterion;

diff -r 1da07ac33711 -r 13f230daa195 src/Pure/Isar/isar_cmd.ML
--- a/src/Pure/Isar/isar_cmd.ML	Sun May 22 19:26:16 2005 +0200
+++ b/src/Pure/Isar/isar_cmd.ML	Sun May 22 19:26:17 2005 +0200
@@ -59,7 +59,7 @@
   val print_antiquotations: Toplevel.transition -> Toplevel.transition
   val thm_deps: (thmref * Attrib.src list) list ->
     Toplevel.transition -> Toplevel.transition
-  val find_theorems: int option * (bool * FindTheorems.search_criterion) list
+  val find_theorems: int option * (bool * string FindTheorems.criterion) list
     -> Toplevel.transition -> Toplevel.transition
   val print_binds: Toplevel.transition -> Toplevel.transition
   val print_lthms: Toplevel.transition -> Toplevel.transition