Induction rule for graph of recursion combinator is now hidden to prevent name collisions with induction rule for nominal datatype.
Induction rule for graph of recursion combinator
is now hidden to prevent name collisions with
induction rule for nominal datatype.

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