unified approach toward conversions and simple term rewriting in preprocessor by means of sandwiches
unified approach toward conversions and simple term rewriting in preprocessor by means of sandwiches

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