ZF/ind-syntax/fold_con_tac: deleted, since fold_tac now works
ZF/intr-elim/elim_rls: applied make_elim to succ_inject!
ZF/fin: changed type_intrs in inductive def
ZF/datatype/datatype_intrs, datatype_elims: renamed from data_typechecks,
data_elims
ZF/list: now uses datatype_intrs