src/Pure/Isar/ROOT.ML
changeset 7021 0073aa571502
parent 6954 dbeafc269f4f
child 7680 27bbbe36d49a
equal deleted inserted replaced
7020:75ff179df7b7 7021:0073aa571502
    47   structure Proof = Proof;
    47   structure Proof = Proof;
    48   structure ProofHistory = ProofHistory;
    48   structure ProofHistory = ProofHistory;
    49   structure Args = Args;
    49   structure Args = Args;
    50   structure Attrib = Attrib;
    50   structure Attrib = Attrib;
    51   structure Method = Method;
    51   structure Method = Method;
       
    52   structure LocalDefs = LocalDefs;
       
    53   structure Calculation = Calculation;
       
    54   structure SkipProof = SkipProof;
    52   structure Comment = Comment;
    55   structure Comment = Comment;
    53   structure OuterLex = OuterLex;
    56   structure OuterLex = OuterLex;
    54   structure OuterParse = OuterParse;
    57   structure OuterParse = OuterParse;
    55   structure Toplevel = Toplevel;
    58   structure Toplevel = Toplevel;
    56   structure Session = Session;
    59   structure Session = Session;