src/Pure/pure.ML
changeset 12013 8d2372c6b5f3
parent 11761 183435fd45f2
child 12234 9d86f1cd2969
equal deleted inserted replaced
12012:1d534baa2827 12013:8d2372c6b5f3
    19     AxClass.setup @
    19     AxClass.setup @
    20     Latex.setup @
    20     Latex.setup @
    21     Present.setup @
    21     Present.setup @
    22     Isamode.setup @
    22     Isamode.setup @
    23     ProofGeneral.setup @
    23     ProofGeneral.setup @
    24     Codegen.setup;
    24     Codegen.setup @
       
    25     Goals.setup;
    25 in
    26 in
    26   structure Pure =
    27   structure Pure =
    27   struct
    28   struct
    28     val thy =
    29     val thy =
    29       PureThy.begin_theory Sign.PureN [ProtoPure.thy]
    30       PureThy.begin_theory Sign.PureN [ProtoPure.thy]