src/ZF/indrule.ML
1994-08-18 ago ZF/ind_syntax/unvarifyT, unvarify: moved to Pure/logic.ML
1994-08-12 ago installation of new inductive/datatype sections
1994-05-06 ago ZF/indrule/mk_pred_typ: corrected pattern to include Abs, allowing it to
1993-09-16 ago Initial revision