theory Inductive = Gfp + Prod + Sum files "Tools/inductive_package.ML": setup InductivePackage.setup end