src/Pure/Isar/induct_attrib.ML
2002-05-07 wenzelm 2002-05-07 use eq_thm_prop instead of slightly inadequate eq_thm;
2001-12-05 wenzelm 2001-12-05 simplified NetRules;
2001-11-28 wenzelm 2001-11-28 theory data: removed obsolete finish method;
2001-11-09 wenzelm 2001-11-09 theory data: finish method;
2001-11-08 wenzelm 2001-11-08 make SML/XL of NJ happy;
2001-11-05 wenzelm 2001-11-05 pretty/print functions with context;
2001-10-16 wenzelm 2001-10-16 allow empty set/type name;
2001-10-15 wenzelm 2001-10-15 tuned NetRules;
2001-10-12 wenzelm 2001-10-12 removed get_cases, get_induct; added find_cases[ST], finde_induct[ST]; proper indexing of types;
2001-10-04 wenzelm 2001-10-04 tuned print operation;
2001-10-03 wenzelm 2001-10-03 Isar/induct_attrib.ML;
2001-10-03 wenzelm 2001-10-03 moved HOL/Tools/induct_attrib.ML to Pure/Isar/induct_attrib.ML;