diff -r 4ce18f389f53 -r 5820f0f379ae etc/options
--- a/etc/options	Wed Jul 18 20:51:23 2018 +0200
+++ b/etc/options	Fri Jul 20 03:14:44 2018 +0200
@@ -92,6 +92,8 @@
   -- "if true then some tools will OMIT some proofs"
 option skip_proofs : bool = false
   -- "skip over proofs (implicit 'sorry')"
+option strict_facts : bool = false
+  -- "force lazy facts when defined in context"
 
 
 section "Global Session Parameters"