--- a/doc-src/IsarImplementation/Thy/document/Logic.tex Sun May 01 17:41:49 2011 +0200
+++ b/doc-src/IsarImplementation/Thy/document/Logic.tex Sun May 01 17:42:21 2011 +0200
@@ -838,7 +838,7 @@
\rail@bar
\rail@nextbar{1}
\rail@term{\isa{{\isaliteral{28}{\isacharparenleft}}}}[]
-\rail@term{\hyperlink{keyword.open}{\mbox{\isa{\isakeyword{open}}}}}[]
+\rail@term{\isa{\isakeyword{open}}}[]
\rail@term{\isa{{\isaliteral{29}{\isacharparenright}}}}[]
\rail@endbar
\rail@plus
@@ -847,10 +847,10 @@
\rail@nextplus{1}
\rail@endplus
\rail@nextplus{2}
-\rail@cterm{\hyperlink{keyword.and}{\mbox{\isa{\isakeyword{and}}}}}[]
+\rail@cterm{\isa{\isakeyword{and}}}[]
\rail@endplus
\rail@cr{4}
-\rail@term{\hyperlink{keyword.by}{\mbox{\isa{\isakeyword{by}}}}}[]
+\rail@term{\isa{\isakeyword{by}}}[]
\rail@nont{\isa{method}}[]
\rail@bar
\rail@nextbar{5}