src/Pure/Isar/ROOT.ML
changeset 6644 123b215882ae
parent 6549 90fa592f6e6e
child 6771 951d5f5c3c95
equal deleted inserted replaced
6643:ff827fccffb5 6644:123b215882ae
    36 
    36 
    37 structure PureIsar =
    37 structure PureIsar =
    38 struct
    38 struct
    39   structure ProofContext = ProofContext;
    39   structure ProofContext = ProofContext;
    40   structure Proof = Proof;
    40   structure Proof = Proof;
       
    41   structure ProofHistory = ProofHistory;
    41   structure Args = Args;
    42   structure Args = Args;
    42   structure Attrib = Attrib;
    43   structure Attrib = Attrib;
    43   structure Method = Method;
    44   structure Method = Method;
       
    45   structure Comment = Comment;
    44   structure OuterLex = OuterLex;
    46   structure OuterLex = OuterLex;
    45   structure OuterParse = OuterParse;
    47   structure OuterParse = OuterParse;
    46   structure ProofHistory = ProofHistory;
       
    47   structure Toplevel = Toplevel;
    48   structure Toplevel = Toplevel;
    48   structure OuterSyntax = OuterSyntax;
    49   structure Session = Session;
    49   structure IsarThy = IsarThy;
    50   structure IsarThy = IsarThy;
    50   structure IsarCmd = IsarCmd;
    51   structure IsarCmd = IsarCmd;
       
    52   structure OuterSyntax = OuterSyntax;
    51   structure IsarSyn = IsarSyn;
    53   structure IsarSyn = IsarSyn;
    52   structure Isar = Isar;
    54   structure Isar = Isar;
    53 end;
    55 end;