src/HOL/Refute.thy
changeset 15293 7797a04cc188
parent 15140 322485b816ac
child 16417 9bc16273c2d4
     1.1 --- a/src/HOL/Refute.thy	Wed Nov 17 16:24:07 2004 +0100
     1.2 +++ b/src/HOL/Refute.thy	Wed Nov 17 19:25:34 2004 +0100
     1.3 @@ -33,8 +33,8 @@
     1.4  (*                                                                           *)
     1.5  (* I strongly recommend that you install a stand-alone SAT solver if you     *)
     1.6  (* want to use 'refute'.  For details see 'HOL/Tools/sat_solver.ML'.  If you *)
     1.7 -(* have installed ZChaff Version 2003.12.04, simply set 'ZCHAFF_HOME' in     *)
     1.8 -(* 'etc/settings'.                                                           *)
     1.9 +(* have installed (a supported version of) zChaff, simply set 'ZCHAFF_HOME'  *)
    1.10 +(* in 'etc/settings'.                                                        *)
    1.11  (* ------------------------------------------------------------------------- *)
    1.12  
    1.13  (* ------------------------------------------------------------------------- *)