1
2
theory Inductive = Gfp + Prod + Sum
3
files "Tools/inductive_package.ML":
4
5
setup InductivePackage.setup
6
7
end