src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Oct 17 22:45:40 2012 +0200
+++ b/src/HOL/ROOT	Wed Oct 17 22:57:28 2012 +0200
@@ -623,7 +623,7 @@
 
 session "HOL-BNF-Examples" in "BNF/Examples" = "HOL-BNF" +
   description {* Examples for Bounded Natural Functors *}
-  options [document = false]
+  options [document = false, threads = 1]
   theories
     Lambda_Term
     Process