diff -r 6dc3d5d50e57 -r e6f03fae14d5 src/Pure/Isar/parse_spec.ML
--- a/src/Pure/Isar/parse_spec.ML	Wed Sep 23 09:50:38 2015 +0200
+++ b/src/Pure/Isar/parse_spec.ML	Thu Sep 24 13:33:42 2015 +0200
@@ -29,6 +29,7 @@
   val obtains: Element.obtains parser
   val general_statement: (Element.context list * Element.statement) parser
   val statement_keyword: string parser
+  val overloaded: bool parser
 end;
 
 structure Parse_Spec: PARSE_SPEC =
@@ -155,4 +156,10 @@
 
 val statement_keyword = Parse.$$$ "obtains" || Parse.$$$ "shows";
 
+
+(* options *)
+
+val overloaded =
+  Scan.optional (Parse.$$$ "(" -- Parse.$$$ "overloaded" -- Parse.$$$ ")" >> K true) false;
+
 end;