src/Pure/Isar/ROOT.ML
changeset 5951 e98c900540f9
parent 5873 f4fe91b3b6db
child 6242 3d75f5a99f60
--- a/src/Pure/Isar/ROOT.ML	Tue Nov 24 11:59:35 1998 +0100
+++ b/src/Pure/Isar/ROOT.ML	Tue Nov 24 11:59:50 1998 +0100
@@ -27,6 +27,8 @@
 use "isar_cmd.ML";
 use "isar_syn.ML";
 
+(*main interface*)
+use "isar.ML";
 
 structure PureIsar =
 struct
@@ -43,4 +45,5 @@
   structure IsarThy = IsarThy;
   structure IsarCmd = IsarCmd;
   structure IsarSyn = IsarSyn;
+  structure Isar = Isar;
 end;