Method now takes theorems to be added or deleted from a simpset for simplificatio before the core method starts
Method now takes theorems to be added or deleted from a simpset for simplificatio before the core method starts

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