
diff -r dda4aef7cba4 -r 6c841fa92fa2 doc-src/IsarRef/Thy/Proof.thy
--- a/doc-src/IsarRef/Thy/Proof.thy	Sun May 15 16:40:24 2011 +0200
+++ b/doc-src/IsarRef/Thy/Proof.thy	Sun May 15 17:06:35 2011 +0200
@@ -896,7 +896,7 @@
   \end{matharray}
 
   @{rail "
-    @@{command method_setup} @{syntax name} '=' @{syntax text} @{syntax text}
+    @@{command method_setup} @{syntax name} '=' @{syntax text} @{syntax text}?
     ;
   "}
 




