proper Specification.read_specification; Attrib.eval_thms;
proper Specification.read_specification;
Attrib.eval_thms;

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