tuned signature -- NB: Command.read is actually part of Command.eval;
tuned signature -- NB: Command.read is actually part of Command.eval;

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