src/Pure/Isar/rule_cases.ML
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-02-21 nipkow 2004-02-21 Transitive_Closure: added consumes and case_names attributes Isar: fixed parameter name handling in simulatneous induction which I had not done properly 2 years ago.
2002-10-21 berghofe 2002-10-21 Removed Logic.skip_flexpairs.
2002-10-07 nipkow 2002-10-07 take/drop -> splitAt
2002-09-30 nipkow 2002-09-30 modified induct method
2002-07-26 wenzelm 2002-07-26 support for split assumptions in cases (hyps vs. prems);
2002-01-17 wenzelm 2002-01-17 RuleCases.make interface based on term instead of thm;
2002-01-15 wenzelm 2002-01-15 save: be slightly more about absent tags; get/add: missing case_names default to numbers 1, 2, 3, ...;
2001-11-12 wenzelm 2001-11-12 added empty;
2001-10-31 wenzelm 2001-10-31 put_consumes: really overwrite existing tag;
2001-10-30 wenzelm 2001-10-30 removed obsolete make_raw;
2001-10-14 wenzelm 2001-10-14 use ObjectLogic;
2001-01-30 oheimb 2001-01-30 added foldln
2001-01-12 wenzelm 2001-01-12 made SML/NJ happy;
2001-01-11 wenzelm 2001-01-11 make_raw: do not AutoBind.drop_judgment;
2001-01-09 wenzelm 2001-01-09 avoid renaming of params in cases;
2001-01-07 wenzelm 2001-01-07 do not AutoBind.drop_judgment;
2001-01-06 wenzelm 2001-01-06 support ?case binding; tuned;
2000-11-28 wenzelm 2000-11-28 added consumes, consumes_default; added save; tuned;
2000-11-06 wenzelm 2000-11-06 make: open_parms argument;
2000-07-13 wenzelm 2000-07-13 make: opaq flag;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-03-31 wenzelm 2000-03-31 params: preserve case names;
2000-03-17 wenzelm 2000-03-17 fixed untag;
2000-03-13 wenzelm 2000-03-13 tuned;
2000-03-09 wenzelm 2000-03-09 cleaned comment;
2000-03-08 wenzelm 2000-03-08 added Isar/rule_cases.ML;