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