src/Pure/Isar/ROOT.ML
2001-12-03 ago renamed rule_context.ML to context_rules.ML;
2001-11-29 ago tuned;
2001-11-26 ago added Pure/Isar/rule_context.ML;
2001-10-22 ago rearrange sources for locales;
2001-10-03 ago Isar/induct_attrib.ML;
2000-11-03 ago structure Obtain = Obtain;
2000-06-25 ago added Isar/antiquote.ML, Isar/isar_output.ML, Isar/thy_header.ML;
2000-05-05 ago GPLed;
2000-03-08 ago added rule_cases.ML;
2000-02-27 ago added Isar/net_rules.ML;
2000-01-05 ago ObtainFun;
1999-10-05 ago outer_lex.ML loaded in Thy;
1999-10-01 ago added Isar/obtain.ML;
1999-07-16 ago structure LocalDefs = LocalDefs;
1999-07-09 ago added Isar/local_defs.ML;
1999-07-02 ago skip_proof feature 'sorry' (for quick_and_dirty mode only);
1999-06-05 ago renamed object_logic.ML to Isar/auto_bind.ML and tuned this module;
1999-06-04 ago added calculation.ML;
1999-05-15 ago tuned;
1999-04-30 ago added Isar/comment.ML;
1999-03-11 ago moved Thy/session.ML to Isar/session.ML;
1999-02-05 ago tuned;
1998-11-24 ago added isar.ML;
1998-11-16 ago structure PureIsar;
1998-11-09 ago Isar -- Intelligible Semi-Automated Reasoning for Isabelle.