diff -r 0568c7a2b5db -r 896704918a1f src/Pure/Isar/token.scala
--- a/src/Pure/Isar/token.scala	Wed Jul 08 11:50:43 2015 +0200
+++ b/src/Pure/Isar/token.scala	Wed Jul 08 12:09:44 2015 +0200
@@ -263,9 +263,6 @@
   def is_command_modifier: Boolean =
     is_keyword && (source == "public" || source == "private" || source == "qualified")
 
-  def is_begin_block: Boolean = is_command && source == "{"
-  def is_end_block: Boolean = is_command && source == "}"
-
   def content: String =
     if (kind == Token.Kind.STRING) Scan.Parsers.quoted_content("\"", source)
     else if (kind == Token.Kind.ALT_STRING) Scan.Parsers.quoted_content("`", source)