approximate Syntax.read_int/nat by Int.fromString -- avoids dependency on Syntax module;
approximate Syntax.read_int/nat by Int.fromString -- avoids dependency on Syntax module;

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