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/HOL/Tools/ATP/res_clasimpset.ML
changeset 17412 e26cb20ef0cc
parent 17305 6cef3aedd661
child 17484 f6a225f97f0a 
--- a/src/HOL/Tools/ATP/res_clasimpset.ML	Thu Sep 15 17:16:55 2005 +0200
+++ b/src/HOL/Tools/ATP/res_clasimpset.ML	Thu Sep 15 17:16:56 2005 +0200
@@ -57,7 +57,7 @@
 
 fun axioms_having_consts_aux [] tab thms = thms
   | axioms_having_consts_aux (c::cs) tab thms =
-    let val thms1 = Symtab.curried_lookup tab c
+    let val thms1 = Symtab.lookup tab c
       val thms2 = 
           case thms1 of (SOME x) => x
                       | NONE => []
isabelle