src/Pure/Isar/induct_attrib.ML
2001-10-03 wenzelm 2001-10-03 moved HOL/Tools/induct_attrib.ML to Pure/Isar/induct_attrib.ML;