src/ZF/Tools/inductive_package.ML
1999-09-21 nipkow 1999-09-21 Mod because of new solver interface.
1999-02-03 paulson 1999-02-03 standard spelling: type-checking
1999-01-19 paulson 1999-01-19 removal of the (thm list) argument of mk_cases
1999-01-12 wenzelm 1999-01-12 eliminated global/local names;
1999-01-12 wenzelm 1999-01-12 eliminated tthm type and Attribute structure;
1998-12-28 paulson 1998-12-28 revised inductive definition package