src/Pure/Isar/outer_syntax.scala

--- a/src/Pure/Isar/outer_syntax.scala	Sun Mar 15 12:42:30 2015 +0100
+++ b/src/Pure/Isar/outer_syntax.scala	Sun Mar 15 12:49:20 2015 +0100
@@ -235,7 +235,7 @@
       case "subsubsection" => Some(3)
       case _ =>
         keywords.command_kind(command.name) match {
-          case Some(kind) if Keyword.theory(kind) && kind != Keyword.THY_END => Some(4)
+          case Some(kind) if Keyword.theory(kind) && !Keyword.theory_end(kind) => Some(4)
           case _ => None
         }
     }