Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/WWW_Find/find_theorems.ML
changeset 37863 7f113caabcf4
parent 37216 3165bc303f66
child 38980 af73cf0dc31f 
--- a/src/Tools/WWW_Find/find_theorems.ML	Tue Jul 20 22:03:37 2010 +0200
+++ b/src/Tools/WWW_Find/find_theorems.ML	Tue Jul 20 23:09:49 2010 +0200
@@ -207,7 +207,7 @@
 
     fun do_find () =
       let
-        val ctxt = ProofContext.init_global (theory thy_name);
+        val ctxt = ProofContext.init_global (Thy_Info.get_theory thy_name);
         val query = get_query ();
         val (othmslen, thms) = apsnd rev
           (Find_Theorems.find_theorems ctxt NONE (SOME limit) with_dups query);
isabelle