| changeset 58367 | 8af1e68d7e1a |
| parent 58061 | 3d060f43accb |
| child 58889 | 5b7a9633cfa8 |
--- a/src/HOL/SMT_Examples/SMT_Examples.thy Thu Sep 18 00:02:45 2014 +0200 +++ b/src/HOL/SMT_Examples/SMT_Examples.thy Thu Sep 18 00:03:46 2014 +0200 @@ -8,7 +8,7 @@ imports Complex_Main begin -declare [[smt_certificates = "SMT_Examples.certs2"]] +declare [[smt_certificates = "SMT_Examples.certs"]] declare [[smt_read_only_certificates = true]]