doc-src/IsarRef/Thy/Generic.thy

--- a/doc-src/IsarRef/Thy/Generic.thy	Wed Feb 15 21:08:27 2012 +0100
+++ b/doc-src/IsarRef/Thy/Generic.thy	Wed Feb 15 21:29:23 2012 +0100
@@ -1226,7 +1226,7 @@
   declarations internally.
 
   @{rail "
-    @@{command judgment} @{syntax constdecl}
+    @@{command judgment} @{syntax name} '::' @{syntax type} @{syntax mixfix}?
     ;
     @@{attribute atomize} ('(' 'full' ')')?
     ;