src/Doc/Isar_Ref/Outer_Syntax.thy

--- a/src/Doc/Isar_Ref/Outer_Syntax.thy	Sat Apr 18 20:44:55 2015 +0200
+++ b/src/Doc/Isar_Ref/Outer_Syntax.thy	Sat Apr 18 20:46:48 2015 +0200
@@ -205,7 +205,7 @@
     @{syntax_def name}: @{syntax ident} | @{syntax symident} |
       @{syntax string} | @{syntax nat}
     ;
-    @{syntax_def parname}: '(' @{syntax name} ')'
+    @{syntax_def par_name}: '(' @{syntax name} ')'
     ;
     @{syntax_def nameref}: @{syntax name} | @{syntax longident}
   \<close>}