src/Pure/Isar/context_rules.ML
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;