# HG changeset patch
# User wenzelm
# Date 1350583245 -7200
# Node ID 9d3bc26485eb7aff08dd30746376c1809e037497
# Parent  85780e6f8fd264cf6c78edd6cfe0cab9ef3808e0
back to parallel HOL-BNF-Examples, which seems to have suffered from Future.map on canceled persistent futures;

diff -r 85780e6f8fd2 -r 9d3bc26485eb 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