src/Pure/Isar/ROOT.ML
changeset 5873 f4fe91b3b6db
parent 5818 962bfe78a297
child 5951 e98c900540f9
     1.1 --- a/src/Pure/Isar/ROOT.ML	Mon Nov 16 10:44:30 1998 +0100
     1.2 +++ b/src/Pure/Isar/ROOT.ML	Mon Nov 16 10:44:55 1998 +0100
     1.3 @@ -26,3 +26,21 @@
     1.4  use "isar_thy.ML";
     1.5  use "isar_cmd.ML";
     1.6  use "isar_syn.ML";
     1.7 +
     1.8 +
     1.9 +structure PureIsar =
    1.10 +struct
    1.11 +  structure ProofContext = ProofContext;
    1.12 +  structure Proof = Proof;
    1.13 +  structure Args = Args;
    1.14 +  structure Attrib = Attrib;
    1.15 +  structure Method = Method;
    1.16 +  structure OuterLex = OuterLex;
    1.17 +  structure OuterParse = OuterParse;
    1.18 +  structure ProofHistory = ProofHistory;
    1.19 +  structure Toplevel = Toplevel;
    1.20 +  structure OuterSyntax = OuterSyntax;
    1.21 +  structure IsarThy = IsarThy;
    1.22 +  structure IsarCmd = IsarCmd;
    1.23 +  structure IsarSyn = IsarSyn;
    1.24 +end;