# HG changeset patch
# User wenzelm
# Date 1358687137 -3600
# Node ID c633700b2d9fe8879e735f68d1c3e8a7fc5532ab
# Parent  5231bfb8bfcf96484a928ebefaf98df28b489073# Parent  b3c6c9ef11b804b99c648ca42e3ed3fefeba3056
merged

diff -r b3c6c9ef11b8 -r c633700b2d9f src/HOL/ROOT
--- a/src/HOL/ROOT	Sun Jan 20 14:00:05 2013 +0100
+++ b/src/HOL/ROOT	Sun Jan 20 14:05:37 2013 +0100
@@ -10,7 +10,7 @@
 
 session "HOL-Proofs" = Pure +
   description {* HOL-Main with explicit proof terms *}
-  options [document = false, proofs = 2, parallel_proofs = 0]
+  options [document = false, proofs = 2]
   theories Main
   files
     "Tools/Quickcheck/Narrowing_Engine.hs"