src/HOL/Tools/inductive_set_package.ML
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-10-02 wenzelm 2007-10-02 tuned internal interfaces: flags record, added kind for results; tuned;
2007-09-28 berghofe 2007-09-28 add_inductive_i now takes typ instead of typ option as argument.
2007-08-10 haftmann 2007-08-10 new structure for code generator modules
2007-07-29 wenzelm 2007-07-29 renamed Drule.add/del/merge_rules to Thm.add/del/merge_thms;
2007-07-19 berghofe 2007-07-19 strong_ind_simproc now only rewrites arguments of inductive predicates.
2007-07-11 berghofe 2007-07-11 New wrapper for defining inductive sets with new inductive predicate package.