src/Pure/Isar/outer_syntax.scala

   override def toString: String = keywords.toString
 
 
   /* add keywords */
 
+  def + (name: String): Outer_Syntax = this + (name, None, None)
+  def + (name: String, kind: String): Outer_Syntax = this + (name, Some((kind, Nil)), None)
   def + (name: String, opt_kind: Option[(String, List[String])], replace: Option[String])
     : Outer_Syntax =
   {
     val keywords1 =
       opt_kind match {

     val completion1 =
       if (replace == Some("")) completion
       else completion + (name, replace getOrElse name)
     new Outer_Syntax(keywords1, completion1, language_context, true)
   }
-  def + (name: String): Outer_Syntax = this + (name, None, None)
-  def + (name: String, kind: String): Outer_Syntax = this + (name, Some((kind, Nil)), None)
 
   def add_keywords(keywords: Thy_Header.Keywords): Outer_Syntax =
     (this /: keywords) {
       case (syntax, (name, opt_spec, replace)) =>
         val opt_kind = opt_spec.map(_._1)