| changeset 40513 | 1204d268464f |
| parent 40274 | 6486c610a549 |
| child 40681 | 872b08416fb4 |
--- a/src/HOL/SMT_Examples/SMT_Tests.thy Fri Nov 12 15:56:06 2010 +0100 +++ b/src/HOL/SMT_Examples/SMT_Tests.thy Fri Nov 12 15:56:07 2010 +0100 @@ -9,7 +9,7 @@ begin declare [[smt_solver=z3, smt_oracle=false]] -declare [[smt_certificates="~~/src/HOL/SMT_Examples/SMT_Tests.certs"]] +declare [[smt_certificates="SMT_Tests.certs"]] declare [[smt_fixed=true]]