Pure/tactic/build_netpair: now takes two arguments
Pure/tactic/build_netpair: now takes two arguments

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle