src/Pure/Isar/net_rules.ML
2001-12-05 ago removed unused functionality (weight etc.);
2001-11-24 ago Library.gen_merge_lists';
2001-10-15 ago support weight;
2001-10-04 ago Thm.major_prem_of part of Logic.strip_assums_concl;
2000-05-05 ago GPLed;
2000-03-31 ago fixed indexing of elim rules;
2000-02-27 ago added Isar/net_rules.ML;