src/Pure/Isar/outer_keyword.scala
changeset 32450 375db037f4d2
parent 29450 ac7f67be7f1f
child 34158 8b66bd211dcf
equal deleted inserted replaced
32449:696d64ed85da 32450:375db037f4d2
     4 Isar command keyword classification.
     4 Isar command keyword classification.
     5 */
     5 */
     6 
     6 
     7 package isabelle
     7 package isabelle
     8 
     8 
     9 object OuterKeyword {
       
    10 
     9 
       
    10 object OuterKeyword
       
    11 {
    11   val MINOR = "minor"
    12   val MINOR = "minor"
    12   val CONTROL = "control"
    13   val CONTROL = "control"
    13   val DIAG = "diag"
    14   val DIAG = "diag"
    14   val THY_BEGIN = "theory-begin"
    15   val THY_BEGIN = "theory-begin"
    15   val THY_SWITCH = "theory-switch"
    16   val THY_SWITCH = "theory-switch"