removed fixrec_simp attribute (cf. a2a1c8a658ef)
removed fixrec_simp attribute (cf. a2a1c8a658ef)

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