src/Pure/Isar/session.ML
1999-03-11 wenzelm 1999-03-11 moved Thy/session.ML to Isar/session.ML;