more appropriate specification packages; fun_rel_def is no simp rule by default
more appropriate specification packages; fun_rel_def is no simp rule by default

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