src/Pure/Isar/ROOT.ML
2006-01-07 wenzelm 2006-01-07 added Isar/specification.ML;
2006-01-07 wenzelm 2006-01-07 tuned order;
2005-11-09 wenzelm 2005-11-09 added Isar/element.ML;
2005-11-08 wenzelm 2005-11-08 renamed goals.ML to old_goals.ML;
2005-10-21 wenzelm 2005-10-21 use obsolete goals.ML here;
2005-09-13 wenzelm 2005-09-13 load locale.ML late (after proof.ML); tuned module arrangement;
2005-08-18 wenzelm 2005-08-18 load method.ML before proof.ML;
2005-08-16 wenzelm 2005-08-16 added Isar/outer_keyword.ML;
2005-06-22 wenzelm 2005-06-22 obsolete (see Pure/context.ML);
2005-05-22 wenzelm 2005-05-22 added find_theorems.ML, ../simplifier.ML;
2005-05-03 haftmann 2005-05-03 final implementation of antiquotations styles
2005-04-23 wenzelm 2005-04-23 removed isar.ML; removed structure PureIsar;
2005-04-15 ballarin 2005-04-15 Removed most of the atp interface from Pure.
2005-04-13 wenzelm 2005-04-13 *** MESSAGE REFERS TO PREVIOUS VERSION *** use args.ML, attrib.ML earlier;
2005-04-13 wenzelm 2005-04-13 *** empty log message ***
2005-01-21 paulson 2005-01-21 Jia Meng: delta simpsets and clasets
2005-01-11 berghofe 2005-01-11 Swapped session.ML and isar_output.ML
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-04-22 wenzelm 2004-04-22 added Isar/constdefs.ML;
2002-07-16 wenzelm 2002-07-16 tuned order of modules;
2002-02-25 wenzelm 2002-02-25 clarify module dependencies;
2002-02-12 wenzelm 2002-02-12 eliminated Pure/Isar/comment.ML;
2001-12-03 wenzelm 2001-12-03 renamed rule_context.ML to context_rules.ML;
2001-11-29 wenzelm 2001-11-29 tuned;
2001-11-26 wenzelm 2001-11-26 added Pure/Isar/rule_context.ML;
2001-10-22 wenzelm 2001-10-22 rearrange sources for locales;
2001-10-03 wenzelm 2001-10-03 Isar/induct_attrib.ML;
2000-11-03 wenzelm 2000-11-03 structure Obtain = Obtain;
2000-06-25 wenzelm 2000-06-25 added Isar/antiquote.ML, Isar/isar_output.ML, Isar/thy_header.ML;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-03-08 wenzelm 2000-03-08 added rule_cases.ML;
2000-02-27 wenzelm 2000-02-27 added Isar/net_rules.ML;
2000-01-05 wenzelm 2000-01-05 ObtainFun;
1999-10-05 wenzelm 1999-10-05 outer_lex.ML loaded in Thy;
1999-10-01 wenzelm 1999-10-01 added Isar/obtain.ML;
1999-07-16 wenzelm 1999-07-16 structure LocalDefs = LocalDefs; structure Calculation = Calculation; structure SkipProof = SkipProof;
1999-07-09 wenzelm 1999-07-09 added Isar/local_defs.ML;
1999-07-02 wenzelm 1999-07-02 skip_proof feature 'sorry' (for quick_and_dirty mode only);
1999-06-05 wenzelm 1999-06-05 renamed object_logic.ML to Isar/auto_bind.ML and tuned this module;
1999-06-04 wenzelm 1999-06-04 added calculation.ML;
1999-05-15 wenzelm 1999-05-15 tuned;
1999-04-30 wenzelm 1999-04-30 added Isar/comment.ML;
1999-03-11 wenzelm 1999-03-11 moved Thy/session.ML to Isar/session.ML;
1999-02-05 wenzelm 1999-02-05 tuned;
1998-11-24 wenzelm 1998-11-24 added isar.ML;
1998-11-16 wenzelm 1998-11-16 structure PureIsar;
1998-11-09 wenzelm 1998-11-09 Isar -- Intelligible Semi-Automated Reasoning for Isabelle.