--- a/doc-src/IsarImplementation/Thy/document/prelim.tex Thu May 15 17:37:21 2008 +0200
+++ b/doc-src/IsarImplementation/Thy/document/prelim.tex Thu May 15 17:39:20 2008 +0200
@@ -140,14 +140,14 @@
\isa{Nat} & & & & \isa{List} \\
& $\searrow$ & & $\swarrow$ \\
& & \isa{Length} \\
- & & \multicolumn{3}{l}{~~\mbox{\isa{\isakeyword{imports}}}} \\
- & & \multicolumn{3}{l}{~~\mbox{\isa{\isakeyword{begin}}}} \\
+ & & \multicolumn{3}{l}{~~\hyperlink{keyword.imports}{\mbox{\isa{\isakeyword{imports}}}}} \\
+ & & \multicolumn{3}{l}{~~\hyperlink{keyword.begin}{\mbox{\isa{\isakeyword{begin}}}}} \\
& & $\vdots$~~ \\
& & \isa{{\isasymbullet}}~~ \\
& & $\vdots$~~ \\
& & \isa{{\isasymbullet}}~~ \\
& & $\vdots$~~ \\
- & & \multicolumn{3}{l}{~~\mbox{\isa{\isacommand{end}}}} \\
+ & & \multicolumn{3}{l}{~~\hyperlink{command.end}{\mbox{\isa{\isacommand{end}}}}} \\
\end{tabular}
\caption{A theory definition depending on ancestors}\label{fig:ex-theory}
\end{center}