src/Doc/Codegen/Adaptation.thy
changeset 51172 16eb76ca1e4a
parent 51171 e8b2d90da499
child 52378 08dbf9ff2140
     1.1 --- a/src/Doc/Codegen/Adaptation.thy	Sun Feb 17 19:39:00 2013 +0100
     1.2 +++ b/src/Doc/Codegen/Adaptation.thy	Sun Feb 17 20:45:49 2013 +0100
     1.3 @@ -119,7 +119,7 @@
     1.4    The @{theory HOL} @{theory Main} theory already provides a code
     1.5    generator setup which should be suitable for most applications.
     1.6    Common extensions and modifications are available by certain
     1.7 -  theories of the @{text HOL} library; beside being useful in
     1.8 +  theories in @{text "HOL/Library"}; beside being useful in
     1.9    applications, they may serve as a tutorial for customising the code
    1.10    generator setup (see below \secref{sec:adaptation_mechanisms}).
    1.11