src/Doc/Codegen/Further.thy
changeset 52665 5f817bad850a
parent 52378 08dbf9ff2140
child 55372 3662c44d018c
     1.1 --- a/src/Doc/Codegen/Further.thy	Mon Jul 15 19:51:09 2013 +0200
     1.2 +++ b/src/Doc/Codegen/Further.thy	Mon Jul 15 20:13:30 2013 +0200
     1.3 @@ -222,7 +222,7 @@
     1.4  subsection {* Parallel computation *}
     1.5  
     1.6  text {*
     1.7 -  Theory @{text Parallel} in @{text "HOL/Library"} contains
     1.8 +  Theory @{text Parallel} in @{file "~~/src/HOL/Library"} contains
     1.9    operations to exploit parallelism inside the Isabelle/ML
    1.10    runtime engine.
    1.11  *}