removed explicit mentioning of zChaffs version number
authorwebertj
Wed Nov 17 19:25:34 2004 +0100 (2004-11-17)
changeset 152937797a04cc188
parent 15292 09e218879265
child 15294 6b73cbe3460f
removed explicit mentioning of zChaffs version number
src/HOL/Refute.thy
     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  (* ------------------------------------------------------------------------- *)