changeset 59035 | 3a2153676705 |
parent 59022 | fa7c419f04b4 |
child 59036 | ce58eb744e38 |
--- a/src/HOL/SMT.thy Mon Nov 24 12:35:13 2014 +0100 +++ b/src/HOL/SMT.thy Mon Nov 24 12:35:13 2014 +0100 @@ -231,7 +231,7 @@ declare [[cvc3_options = ""]] declare [[cvc4_options = "--full-saturate-quant --inst-when=full-last-call"]] -declare [[veriT_options = ""]] +declare [[verit_options = ""]] declare [[z3_options = ""]] text {*