src/Doc/Codegen/Further.thy
changeset 63669 256fc20716f2
parent 63303 7cffe366d333
child 63680 6e1e8b5abbfa
     1.1 --- a/src/Doc/Codegen/Further.thy	Thu Aug 11 18:26:16 2016 +0200
     1.2 +++ b/src/Doc/Codegen/Further.thy	Thu Aug 11 18:26:44 2016 +0200
     1.3 @@ -148,7 +148,7 @@
     1.4  subsection \<open>Parallel computation\<close>
     1.5  
     1.6  text \<open>
     1.7 -  Theory @{text Parallel} in @{file "~~/src/HOL/Library"} contains
     1.8 +  Theory @{text Parallel} in @{dir "~~/src/HOL/Library"} contains
     1.9    operations to exploit parallelism inside the Isabelle/ML
    1.10    runtime engine.
    1.11  \<close>