src/Doc/Codegen/Further.thy
changeset 63680 6e1e8b5abbfa
parent 63669 256fc20716f2
child 65041 2525e680f94f
     1.1 --- a/src/Doc/Codegen/Further.thy	Fri Aug 12 17:49:02 2016 +0200
     1.2 +++ b/src/Doc/Codegen/Further.thy	Fri Aug 12 17:53:55 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 @{dir "~~/src/HOL/Library"} contains
     1.8 +  Theory @{text Parallel} in \<^dir>\<open>~~/src/HOL/Library\<close> contains
     1.9    operations to exploit parallelism inside the Isabelle/ML
    1.10    runtime engine.
    1.11  \<close>