Pure/tactic/subgoals_tac: new (moved from ZF/Order.ML)
Pure/tactic/subgoals_tac: new (moved from ZF/Order.ML)

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