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.
-- changed the interface of functions vampire_oracle and eprover_oracle.
authormengj
Fri, 18 Nov 2005 07:10:37 +0100
changeset 18201 6c63f0eb16d7
parent 18200 9d476d1054d7
child 18202 46af82efd311
-- changed the interface of functions vampire_oracle and eprover_oracle.
src/HOL/ResAtpMethods.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ResAtpMethods.thy	Fri Nov 18 07:10:00 2005 +0100
+++ b/src/HOL/ResAtpMethods.thy	Fri Nov 18 07:10:37 2005 +0100
@@ -13,8 +13,8 @@
 
 begin
 
-oracle vampire_oracle ("string list * int") = {* ResAtpProvers.vampire_o *}
-oracle eprover_oracle ("string list * int") = {* ResAtpProvers.eprover_o *}
+oracle vampire_oracle ("(string list * string list) * int") = {* ResAtpProvers.vampire_o *}
+oracle eprover_oracle ("(string list * string list) * int") = {* ResAtpProvers.eprover_o *}
 
 use "Tools/res_atp_methods.ML"
 setup ResAtpMethods.ResAtps_setup
isabelle