added isar.ML;
authorwenzelm
Tue Nov 24 11:59:50 1998 +0100 (1998-11-24)
changeset 5951e98c900540f9
parent 5950 d218409fd44e
child 5952 7d4ec8992b23
added isar.ML;
src/Pure/Isar/ROOT.ML
     1.1 --- a/src/Pure/Isar/ROOT.ML	Tue Nov 24 11:59:35 1998 +0100
     1.2 +++ b/src/Pure/Isar/ROOT.ML	Tue Nov 24 11:59:50 1998 +0100
     1.3 @@ -27,6 +27,8 @@
     1.4  use "isar_cmd.ML";
     1.5  use "isar_syn.ML";
     1.6  
     1.7 +(*main interface*)
     1.8 +use "isar.ML";
     1.9  
    1.10  structure PureIsar =
    1.11  struct
    1.12 @@ -43,4 +45,5 @@
    1.13    structure IsarThy = IsarThy;
    1.14    structure IsarCmd = IsarCmd;
    1.15    structure IsarSyn = IsarSyn;
    1.16 +  structure Isar = Isar;
    1.17  end;