removed "nitpick_def" attributes from (r)trancl(p), since "Nitpick.thy" overrides these
removed "nitpick_def" attributes from (r)trancl(p), since "Nitpick.thy" overrides these

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