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.
simplified ResAtpset via NamedThmsFun;
authorwenzelm
Sun, 29 Jul 2007 14:29:58 +0200
changeset 24042 968f42fe6836
parent 24041 d5845b7c1a24
child 24043 9b156986a4e9
simplified ResAtpset via NamedThmsFun;
src/HOL/Tools/res_axioms.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/res_axioms.ML	Sun Jul 29 14:29:57 2007 +0200
+++ b/src/HOL/Tools/res_axioms.ML	Sun Jul 29 14:29:58 2007 +0200
@@ -554,7 +554,7 @@
 fun claset_rules_of ctxt = rules_of_claset (local_claset_of ctxt);
 fun simpset_rules_of ctxt = rules_of_simpset (local_simpset_of ctxt);
 
-fun atpset_rules_of ctxt = map pairname (ResAtpset.get_atpset ctxt);
+fun atpset_rules_of ctxt = map pairname (ResAtpset.get ctxt);
 
 
 (**** Translate a set of theorems into CNF ****)
isabelle