--- a/doc-src/Codegen/Thy/document/Evaluation.tex	Tue Feb 21 12:45:00 2012 +0100
+++ b/doc-src/Codegen/Thy/document/Evaluation.tex	Tue Feb 21 13:10:13 2012 +0100
@@ -372,7 +372,7 @@
   arbitrary ML code as well.
 
   A typical example for \hyperlink{command.code-reflect}{\mbox{\isa{\isacommand{code{\isaliteral{5F}{\isacharunderscore}}reflect}}}} can be found in the
-  \hyperlink{theory.Predicate}{\mbox{\isa{Predicate}}} theory.%
+  \isa{Predicate} theory.%
 \end{isamarkuptext}%
 \isamarkuptrue%
 %