src/Pure/ML/ml_context.ML

             | expand (Antiquote.Antiq (ss, {range, ...})) ctxt =
                 let
                   val keywords = Thy_Header.get_keywords' ctxt;
                   val (decl, ctxt') =
                     apply_antiquotation (Token.read_antiq keywords antiq (ss, #1 range)) ctxt;
-                  val decl' = decl #> pairself (ML_Lex.tokenize #> map (ML_Lex.set_range range));
+                  val decl' = decl #> apply2 (ML_Lex.tokenize #> map (ML_Lex.set_range range));
                 in (decl', ctxt') end;
 
           val ctxt =
             (case opt_ctxt of
               NONE => error ("No context -- cannot expand ML antiquotations" ^ Position.here pos)
             | SOME ctxt => Context.proof_of ctxt);
 
           val (decls, ctxt') = fold_map expand ants ctxt;
           val (ml_env, ml_body) =
-            decls |> map (fn decl => decl ctxt') |> split_list |> pairself flat;
+            decls |> map (fn decl => decl ctxt') |> split_list |> apply2 flat;
         in ((begin_env visible @ ml_env, ml_body), SOME (Context.Proof ctxt')) end;
   in ((ml_env @ end_env, ml_body), opt_ctxt') end;
 
 fun eval flags pos ants =
   let