src/HOL/ROOT
changeset 49932 9d3bc26485eb
parent 49903 9d2da7f5945a
child 49985 5b4b0e4e5205
     1.1 --- a/src/HOL/ROOT	Thu Oct 18 19:58:30 2012 +0200
     1.2 +++ b/src/HOL/ROOT	Thu Oct 18 20:00:45 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, threads = 1]
     1.8 +  options [document = false]
     1.9    theories
    1.10      Lambda_Term
    1.11      Process