src/HOL/SMT_Examples/SMT_Word_Examples.thy
changeset 58367 8af1e68d7e1a
parent 58061 3d060f43accb
child 58410 6d46ad54a2ab
     1.1 --- a/src/HOL/SMT_Examples/SMT_Word_Examples.thy	Thu Sep 18 00:02:45 2014 +0200
     1.2 +++ b/src/HOL/SMT_Examples/SMT_Word_Examples.thy	Thu Sep 18 00:03:46 2014 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  
     1.5  declare [[smt_oracle = true]]
     1.6  declare [[z3_extensions = true]]
     1.7 -declare [[smt_certificates = "SMT_Word_Examples.certs2"]]
     1.8 +declare [[smt_certificates = "SMT_Word_Examples.certs"]]
     1.9  declare [[smt_read_only_certificates = true]]
    1.10  
    1.11  text {*