src/Pure/Isar/ROOT.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.