src/HOL/ROOT
changeset 49903 9d2da7f5945a
parent 49872 c6a686c9be2a
child 49932 9d3bc26485eb
     1.1 --- a/src/HOL/ROOT	Wed Oct 17 22:45:40 2012 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Oct 17 22:57:28 2012 +0200
     1.3 @@ -623,7 +623,7 @@
     1.4  
     1.5  session "HOL-BNF-Examples" in "BNF/Examples" = "HOL-BNF" +
     1.6    description {* Examples for Bounded Natural Functors *}
     1.7 -  options [document = false]
     1.8 +  options [document = false, threads = 1]
     1.9    theories
    1.10      Lambda_Term
    1.11      Process