
diff -r 824d3f1d8de6 -r 2080fe35abea doc-src/IsarRef/Thy/document/HOLCF_Specific.tex
--- a/doc-src/IsarRef/Thy/document/HOLCF_Specific.tex	Tue May 03 20:59:24 2011 +0200
+++ b/doc-src/IsarRef/Thy/document/HOLCF_Specific.tex	Tue May 03 21:07:24 2011 +0200
@@ -55,7 +55,7 @@
   \end{matharray}
 
   \begin{railoutput}
-\rail@begin{2}{\isa{}}
+\rail@begin{2}{}
 \rail@term{\hyperlink{command.HOLCF.domain}{\mbox{\isa{\isacommand{domain}}}}}[]
 \rail@bar
 \rail@nextbar{1}




