src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Oct 18 19:58:30 2012 +0200
+++ b/src/HOL/ROOT	Thu Oct 18 20:00:45 2012 +0200
@@ -623,7 +623,7 @@
 
 session "HOL-BNF-Examples" in "BNF/Examples" = "HOL-BNF" +
   description {* Examples for Bounded Natural Functors *}
-  options [document = false, threads = 1]
+  options [document = false]
   theories
     Lambda_Term
     Process