1 (*Dummy theory to document dependencies *)
2
3 intr_elim = Fixedpt + "ind_syntax"
3 intr_elim = "add_ind_def"