src/Doc/Codegen/Further.thy
changeset 51172 16eb76ca1e4a
parent 49739 13aa6d8268ec
child 51717 9e7d1c139569
     1.1 --- a/src/Doc/Codegen/Further.thy	Sun Feb 17 19:39:00 2013 +0100
     1.2 +++ b/src/Doc/Codegen/Further.thy	Sun Feb 17 20:45:49 2013 +0100
     1.3 @@ -219,6 +219,14 @@
     1.4  *}
     1.5  
     1.6  
     1.7 +subsection {* Parallel computation *}
     1.8 +
     1.9 +text {*
    1.10 +  Theory @{text Parallel} in @{text "HOL/Library"} contains
    1.11 +  operations to exploit parallelism inside the Isabelle/ML
    1.12 +  runtime engine.
    1.13 +*}
    1.14 +
    1.15  subsection {* Imperative data structures *}
    1.16  
    1.17  text {*