now mentions that the sections are available as Datatypes and (Co)Inductive Definitions in Isabelle/HOL
now mentions that the sections are available as
Datatypes and (Co)Inductive Definitions in Isabelle/HOL

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