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.
renamed RuleContext to ContextRules;
authorwenzelm
Tue, 04 Dec 2001 02:00:14 +0100
changeset 12352 92c48cc45e78
parent 12351 54aef8e41437
child 12353 e4be26df707a
renamed RuleContext to ContextRules;
src/FOL/IFOL.thy file | annotate | diff | comparison | revisions 
--- a/src/FOL/IFOL.thy	Tue Dec 04 01:59:49 2001 +0100
+++ b/src/FOL/IFOL.thy	Tue Dec 04 02:00:14 2001 +0100
@@ -152,7 +152,7 @@
   and [Pure.intro] = exI disjI2 disjI1
 
 ML_setup {*
-  Context.>> (RuleContext.addSWrapper (fn tac => hyp_subst_tac' ORELSE' tac));
+  Context.>> (ContextRules.addSWrapper (fn tac => hyp_subst_tac ORELSE' tac));
 *}
isabelle