# HG changeset patch
# User wenzelm
# Date 1358630315 -3600
# Node ID 5231bfb8bfcf96484a928ebefaf98df28b489073
# Parent  6167892814138d90e8593f75cf4cbbb95bf75631
afford parallel proof terms;

diff -r 616789281413 -r 5231bfb8bfcf src/HOL/ROOT
--- a/src/HOL/ROOT	Sat Jan 19 22:17:26 2013 +0100
+++ b/src/HOL/ROOT	Sat Jan 19 22:18:35 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"