--- a/src/HOL/ROOT Mon Jul 22 21:55:02 2019 +0200
+++ b/src/HOL/ROOT Tue Jul 23 12:07:50 2019 +0200
@@ -16,7 +16,7 @@
description "
HOL-Main with explicit proof terms.
"
- options [quick_and_dirty = false, record_proofs = 2, parallel_proofs = 0, parallel_limit = 500]
+ options [quick_and_dirty = false, record_proofs = 2, parallel_limit = 500]
sessions
"HOL-Library"
theories
@@ -434,7 +434,7 @@
description "
Examples for program extraction in Higher-Order Logic.
"
- options [parallel_proofs = 0, quick_and_dirty = false]
+ options [quick_and_dirty = false]
sessions
"HOL-Computational_Algebra"
theories
@@ -455,8 +455,7 @@
The paper "More Church-Rosser Proofs (in Isabelle/HOL)" describes the whole
theory (see http://www.in.tum.de/~nipkow/pubs/jar2001.html).
\<close>
- options [print_mode = "no_brackets",
- parallel_proofs = 0, quick_and_dirty = false]
+ options [print_mode = "no_brackets", quick_and_dirty = false]
sessions
"HOL-Library"
theories