lcp@1187: 
wenzelm@6437: Inductive = Gfp + Prod + Sum +
wenzelm@6437: 
wenzelm@6437: setup InductivePackage.setup
wenzelm@6437: 
wenzelm@6437: end