# HG changeset patch
# User wenzelm
# Date 1571477379 -7200
# Node ID b9567a9f44a0e768132cb1a43af0fb2b708801c9
# Parent  a6304b4664b6c3838554c58367fe9345ef7b3dea
proper export of bootstrap proofs (amending a6304b4664b6);

diff -r a6304b4664b6 -r b9567a9f44a0 src/Pure/ROOT
--- a/src/Pure/ROOT	Fri Oct 18 22:45:09 2019 +0200
+++ b/src/Pure/ROOT	Sat Oct 19 11:29:39 2019 +0200
@@ -4,8 +4,8 @@
   description "
     The Pure logical framework.
   "
-  options [threads = 1]
-  theories [export_theory, export_proofs]
+  options [threads = 1, export_proofs]
+  theories [export_theory]
     Pure (global)
   theories
     ML_Bootstrap (global)