src/Pure/pure.ML
2001-12-03 wenzelm 2001-12-03 renamed rule_context.ML to context_rules.ML;
2001-11-26 wenzelm 2001-11-26 added Pure/Isar/rule_context.ML;
2001-11-19 berghofe 2001-11-19 Added setup for proof rewrite rules.
2001-11-01 wenzelm 2001-11-01 Goals.setup;
2001-10-14 wenzelm 2001-10-14 ObjectLogic.setup;
2001-10-04 wenzelm 2001-10-04 tuned;
2001-10-03 wenzelm 2001-10-03 Isar/induct_attrib.ML;
2001-08-31 berghofe 2001-08-31 Added setup for code generator.
2001-01-18 wenzelm 2001-01-18 use Sign.PureN, Sign.CPureN;
2000-05-24 wenzelm 2000-05-24 proper token_translation for latex mode;
1999-10-05 wenzelm 1999-10-05 Present.setup;
1999-07-02 wenzelm 1999-07-02 skip_proof feature 'sorry' (for quick_and_dirty mode only);
1999-06-05 wenzelm 1999-06-05 removed ObjectLogic.setup;
1999-06-04 wenzelm 1999-06-04 added Isar/calculation.ML;
1999-05-21 wenzelm 1999-05-21 Isamode.setup, ProofGeneral.setup;
1999-05-17 berghofe 1999-05-17 Added setup for BrowserInfo.
1999-03-17 wenzelm 1999-03-17 AxClass.setup;
1999-03-09 wenzelm 1999-03-09 HTML.setup;
1999-02-03 wenzelm 1999-02-03 proper setup of preloaded theories (ThyInfo.register_theory);
1998-11-17 wenzelm 1998-11-17 Theory.apply replaced by Library.apply;
1998-11-14 wenzelm 1998-11-14 Theory.copy;
1998-11-09 wenzelm 1998-11-09 Isar setups;
1998-08-04 wenzelm 1998-08-04 Locale.setup;
1998-07-29 wenzelm 1998-07-29 late setup of Pure and CPure;
1998-06-29 wenzelm 1998-06-29 moved actual (C)Pure theories to pure.ML;