src/Pure/Isar/rule_cases.ML
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;