src/Pure/Isar/context_rules.ML
2001-12-05 ago export low-level addXXs;
2001-12-03 ago renamed rule_context.ML to context_rules.ML;