re-arranged tuples (theory * 'a) to ('a * theory) in Pure
re-arranged tuples (theory * 'a) to ('a * theory) in Pure

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