inverts and injects generated lemmas now take the form of rewrite rules, instead of dest rules
inverts and injects generated lemmas now take the form of rewrite rules, instead of dest rules

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