PolyML.Compiler.maxInlineSize := 80;
PolyML.Compiler.maxInlineSize := 80;

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