src/HOL/SMT_Examples/SMT_Examples.thy
changeset 66758 9312ce5a938d
parent 66740 ece9435ca78e
child 67226 ec32cdaab97b
     1.1 --- a/src/HOL/SMT_Examples/SMT_Examples.thy	Mon Oct 02 19:28:18 2017 +0200
     1.2 +++ b/src/HOL/SMT_Examples/SMT_Examples.thy	Mon Oct 02 19:38:39 2017 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4  imports Complex_Main
     1.5  begin
     1.6  
     1.7 +external_file "SMT_Examples.certs"
     1.8  declare [[smt_certificates = "SMT_Examples.certs"]]
     1.9  declare [[smt_read_only_certificates = true]]
    1.10