added antiquotations @{lhs thm} and @{rhs thm}
added antiquotations @{lhs thm} and @{rhs thm}

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