src/Pure/Isar/induct_attrib.ML
2006-02-15 wenzelm 2006-02-15 removed distinct, renamed gen_distinct to distinct;
2006-02-08 haftmann 2006-02-08 introduced gen_distinct in place of distinct
2006-01-21 wenzelm 2006-01-21 simplified type attribute;
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2006-01-10 wenzelm 2006-01-10 generic data and attributes; tuned;
2005-11-22 wenzelm 2005-11-22 find_xxxS: term instead of thm;
2005-11-19 wenzelm 2005-11-19 added coinduct attribute; tuned;
2005-08-29 wenzelm 2005-08-29 use AList operations;
2005-07-13 haftmann 2005-07-13 (intermediate commit)
2005-06-17 wenzelm 2005-06-17 accomodate change of TheoryDataFun;
2005-04-21 wenzelm 2005-04-21 superceded by Pure.thy and CPure.thy;
2005-04-13 wenzelm 2005-04-13 *** MESSAGE REFERS TO PREVIOUS VERSION *** Scan.peek; Args.global/local_const/tyname (static binding!);
2005-04-13 wenzelm 2005-04-13 *** empty log message ***
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
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;