| changeset 74403 | dbd69d287ec6 |
| parent 73391 | f16f209f996c |
| child 75268 | 73650a19591d |
--- a/src/HOL/SMT_Examples/SMT_Examples_Verit.thy Fri Oct 01 12:45:47 2021 +0200 +++ b/src/HOL/SMT_Examples/SMT_Examples_Verit.thy Fri Oct 01 22:35:32 2021 +0200 @@ -13,7 +13,7 @@ begin external_file \<open>SMT_Examples_Verit.certs\<close> - + declare [[smt_certificates = "SMT_Examples_Verit.certs"]] declare [[smt_read_only_certificates = true]]