src/Pure/Isar/isar.ML
1999-02-03 wenzelm 1999-02-03 removed load;
1998-11-24 wenzelm 1998-11-24 Isabelle/Isar main interface.