src/HOL/SMT.thy
changeset 55049 327eafb594ba
parent 55007 0c07990363a3
child 56046 683148f3ae48
     1.1 --- a/src/HOL/SMT.thy	Sun Jan 19 11:05:38 2014 +0100
     1.2 +++ b/src/HOL/SMT.thy	Sun Jan 19 22:38:17 2014 +0100
     1.3 @@ -204,9 +204,9 @@
     1.4  options.
     1.5  *}
     1.6  
     1.7 -declare [[ cvc3_options = "", remote_cvc3_options = "" ]]
     1.8 +declare [[ cvc3_options = "" ]]
     1.9  declare [[ yices_options = "" ]]
    1.10 -declare [[ z3_options = "", remote_z3_options = "" ]]
    1.11 +declare [[ z3_options = "" ]]
    1.12  
    1.13  text {*
    1.14  Enable the following option to use built-in support for datatypes and