Eta-expanded declarations of addSIs2, etc., to avoid polymorphism errors
Eta-expanded declarations of addSIs2, etc., to avoid polymorphism errors

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