# HG changeset patch
# User wenzelm
# Date 1350507448 -7200
# Node ID 9d2da7f5945a8320b7cd196c2c479a68442ea7cd
# Parent  73dc0c7e8240f7770d0081663bb365889d8069aa
HOL-BNF-Examples is sequential for now, due to spurious interrupts (again);

diff -r 73dc0c7e8240 -r 9d2da7f5945a 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