1.1 --- a/doc-src/IsarRef/Thy/document/Proof.tex	Sun May 15 16:40:24 2011 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/document/Proof.tex	Sun May 15 17:06:35 2011 +0200
     1.3 @@ -1234,12 +1234,15 @@
     1.4    \end{matharray}
     1.5  
     1.6    \begin{railoutput}
     1.7 -\rail@begin{1}{}
     1.8 +\rail@begin{2}{}
     1.9  \rail@term{\hyperlink{command.method-setup}{\mbox{\isa{\isacommand{method{\isaliteral{5F}{\isacharunderscore}}setup}}}}}[]
    1.10  \rail@nont{\hyperlink{syntax.name}{\mbox{\isa{name}}}}[]
    1.11  \rail@term{\isa{{\isaliteral{3D}{\isacharequal}}}}[]
    1.12  \rail@nont{\hyperlink{syntax.text}{\mbox{\isa{text}}}}[]
    1.13 +\rail@bar
    1.14 +\rail@nextbar{1}
    1.15  \rail@nont{\hyperlink{syntax.text}{\mbox{\isa{text}}}}[]
    1.16 +\rail@endbar
    1.17  \rail@end
    1.18  \end{railoutput}
    1.19