Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
string FindTheorems.criterion;
authorwenzelm
Sun, 22 May 2005 19:26:17 +0200
changeset 16037 13f230daa195
parent 16036 1da07ac33711
child 16038 b645ff0c697c
string FindTheorems.criterion;
src/Pure/Isar/isar_cmd.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle