renamed RuleContext to ContextRules;
authorwenzelm
Tue Dec 04 02:00:14 2001 +0100 (2001-12-04)
changeset 1235292c48cc45e78
parent 12351 54aef8e41437
child 12353 e4be26df707a
renamed RuleContext to ContextRules;
src/FOL/IFOL.thy
     1.1 --- a/src/FOL/IFOL.thy	Tue Dec 04 01:59:49 2001 +0100
     1.2 +++ b/src/FOL/IFOL.thy	Tue Dec 04 02:00:14 2001 +0100
     1.3 @@ -152,7 +152,7 @@
     1.4    and [Pure.intro] = exI disjI2 disjI1
     1.5  
     1.6  ML_setup {*
     1.7 -  Context.>> (RuleContext.addSWrapper (fn tac => hyp_subst_tac' ORELSE' tac));
     1.8 +  Context.>> (ContextRules.addSWrapper (fn tac => hyp_subst_tac ORELSE' tac));
     1.9  *}
    1.10  
    1.11