| changeset 42813 | 6c841fa92fa2 |
| parent 42705 | 528a2ba8fa74 |
| child 43633 | e8ee3641754e |
--- 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}? ; "}