src/Pure/Isar/context_rules.ML
2005-09-20 wenzelm 2005-09-20 tuned;
2005-09-20 haftmann 2005-09-20 slight adaptions to library changes
2005-09-13 wenzelm 2005-09-13 tuned;
2005-09-08 haftmann 2005-09-08 introduces some modern-style AList operations
2005-06-21 wenzelm 2005-06-21 tuned;
2005-06-17 wenzelm 2005-06-17 accomodate change of TheoryDataFun;
2005-05-17 wenzelm 2005-05-17 tuned;
2005-04-21 wenzelm 2005-04-21 superceded by Pure.thy and CPure.thy;
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.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
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-07-16 wenzelm 2002-07-16 module now right after ProofContext (for locales);
2002-05-07 wenzelm 2002-05-07 use eq_thm_prop instead of slightly inadequate eq_thm;
2002-01-17 wenzelm 2002-01-17 Thm.prop_of;
2001-12-06 wenzelm 2001-12-06 fixed dest atts;
2001-12-06 wenzelm 2001-12-06 tuned;
2001-12-05 wenzelm 2001-12-05 export low-level addXXs; find_rules interface;
2001-12-03 wenzelm 2001-12-03 renamed rule_context.ML to context_rules.ML;