src/Pure/Isar/isar.ML
1999-06-30 wenzelm 1999-06-30 sync;
1999-05-15 wenzelm 1999-05-15 tuned;
1999-02-03 wenzelm 1999-02-03 removed load;
1998-11-24 wenzelm 1998-11-24 Isabelle/Isar main interface.