src/Pure/Isar/net_rules.ML
2005-09-13 ago tuned;
2005-07-13 ago improved Net interface;
2005-06-21 ago tuned;
2005-03-04 ago Removed practically all references to Library.foldr.
2005-03-03 ago Move towards standard functions.
2004-06-21 ago Merged in license change from Isabelle2004
2004-03-19 ago Removing the datatype declaration of "order" allows the standard General.order
2002-05-07 ago use eq_thm_prop instead of slightly inadequate eq_thm;
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;