finished cleaning up the parts that collect lemmas (with instantiations) under some general names
finished cleaning up the parts that collect
lemmas (with instantiations) under some
general names

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