# HG changeset patch
# User wenzelm
# Date 1532789393 -7200
# Node ID 1e358063ab9005a20c619ddba197280a22cde36b
# Parent  b624368a302fecb8bb28b0298c085e89cc265820
more robust: potentially a workaround for spurious HOL build problems seen by Larry Paulson;

diff -r b624368a302f -r 1e358063ab90 src/HOL/ROOT
--- a/src/HOL/ROOT	Sat Jul 28 16:30:58 2018 +0200
+++ b/src/HOL/ROOT	Sat Jul 28 16:49:53 2018 +0200
@@ -4,6 +4,7 @@
   description {*
     Classical Higher-order Logic.
   *}
+  options [strict_facts]
   theories
     Main (global)
     Complex_Main (global)