src/Pure/Isar/net_rules.ML
2006-02-03 wenzelm 2006-02-03 canonical member/insert/merge;
2006-01-11 wenzelm 2006-01-11 tuned;
2005-09-13 wenzelm 2005-09-13 tuned;
2005-07-13 wenzelm 2005-07-13 improved Net interface;
2005-06-21 wenzelm 2005-06-21 tuned;
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-03-19 paulson 2004-03-19 Removing the datatype declaration of "order" allows the standard General.order to be used. Thus we can use Int.compare and String.compare instead of the slower home-grown versions.
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;