src/Pure/Isar/rule_cases.ML
2001-11-12 ago added empty;
2001-10-31 ago put_consumes: really overwrite existing tag;
2001-10-30 ago removed obsolete make_raw;
2001-10-14 ago use ObjectLogic;
2001-01-30 ago added foldln
2001-01-12 ago made SML/NJ happy;
2001-01-11 ago make_raw: do not AutoBind.drop_judgment;
2001-01-09 ago avoid renaming of params in cases;
2001-01-07 ago do not AutoBind.drop_judgment;
2001-01-06 ago support ?case binding;
2000-11-28 ago added consumes, consumes_default;
2000-11-06 ago make: open_parms argument;
2000-07-13 ago make: opaq flag;
2000-05-05 ago GPLed;
2000-03-31 ago params: preserve case names;
2000-03-17 ago fixed untag;
2000-03-13 ago tuned;
2000-03-09 ago cleaned comment;
2000-03-08 ago added Isar/rule_cases.ML;