--- a/src/Doc/Codegen/Adaptation.thy Mon Jul 15 19:51:09 2013 +0200
+++ b/src/Doc/Codegen/Adaptation.thy Mon Jul 15 20:13:30 2013 +0200
@@ -119,7 +119,7 @@
The @{theory HOL} @{theory Main} theory already provides a code
generator setup which should be suitable for most applications.
Common extensions and modifications are available by certain
- theories in @{text "HOL/Library"}; beside being useful in
+ theories in @{file "~~/src/HOL/Library"}; beside being useful in
applications, they may serve as a tutorial for customising the code
generator setup (see below \secref{sec:adaptation_mechanisms}).