src/ZF/Tools/induct_tacs.ML
1999-07-10 wenzelm 1999-07-10 pass exn;
1999-06-28 wenzelm 1999-06-28 cond_extern_table;
1999-04-30 wenzelm 1999-04-30 theory data: copy;
1999-01-19 paulson 1999-01-19 removal of the (thm list) argument of mk_cases
1999-01-13 paulson 1999-01-13 datatype package improvements
1999-01-12 wenzelm 1999-01-12 eliminated tthm type and Attribute structure;
1999-01-07 paulson 1999-01-07 ZF: the natural numbers as a datatype
1999-01-06 paulson 1999-01-06 induct_tac and exhaust_tac