src/HOL/Library/Old_SMT.thy
changeset 59966 c01cea2ba71e
parent 58881 b9556a055632
child 60500 903bb1495239
     1.1 --- a/src/HOL/Library/Old_SMT.thy	Wed Apr 08 19:15:55 2015 +0200
     1.2 +++ b/src/HOL/Library/Old_SMT.thy	Wed Apr 08 19:19:02 2015 +0200
     1.3 @@ -164,7 +164,8 @@
     1.4  
     1.5  Due to licensing restrictions, Yices and Z3 are not installed/enabled
     1.6  by default.  Z3 is free for non-commercial applications and can be enabled
     1.7 -by setting Isabelle system option @{text z3_non_commercial} to @{text yes}.
     1.8 +by setting the @{text OLD_Z3_NON_COMMERCIAL} environment variable to
     1.9 +@{text yes}.
    1.10  *}
    1.11  
    1.12  declare [[ old_smt_solver = z3 ]]