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