src/HOL/Tools/old_inductive_package.ML
2006-10-13 ago Old version of inductive definition package (for sets).