src/Provers/eqsubst.ML
changeset 21879 a3efbae45735
parent 21708 45e7491bea47
child 22578 b0eb5652f210
     1.1 --- a/src/Provers/eqsubst.ML	Mon Dec 18 08:21:34 2006 +0100
     1.2 +++ b/src/Provers/eqsubst.ML	Mon Dec 18 08:21:35 2006 +0100
     1.3 @@ -538,7 +538,7 @@
     1.4  the goal) as well as the theorems to use *)
     1.5  fun subst_meth src =
     1.6    Method.syntax ((Scan.lift options_syntax) -- (Scan.lift ith_syntax) -- Attrib.thms) src
     1.7 -  #> (fn (ctxt, ((asmflag, occL), inthms)) =>
     1.8 +  #> (fn (((asmflag, occL), inthms), ctxt) =>
     1.9      (if asmflag then eqsubst_asm_meth else eqsubst_meth) ctxt occL inthms);
    1.10  
    1.11