etc/options
changeset 68661 5820f0f379ae
parent 68491 f0f83ce0badd
child 69103 814a1ab42d70
     1.1 --- a/etc/options	Wed Jul 18 20:51:23 2018 +0200
     1.2 +++ b/etc/options	Fri Jul 20 03:14:44 2018 +0200
     1.3 @@ -92,6 +92,8 @@
     1.4    -- "if true then some tools will OMIT some proofs"
     1.5  option skip_proofs : bool = false
     1.6    -- "skip over proofs (implicit 'sorry')"
     1.7 +option strict_facts : bool = false
     1.8 +  -- "force lazy facts when defined in context"
     1.9  
    1.10  
    1.11  section "Global Session Parameters"