# HG changeset patch
# User webertj
# Date 1100715934 -3600
# Node ID 7797a04cc188e15ef64b6e3b3664ec21443fa933
# Parent  09e2188792652e9939d4a86bf96af0db0cd9869e
removed explicit mentioning of zChaffs version number

diff -r 09e218879265 -r 7797a04cc188 src/HOL/Refute.thy
--- a/src/HOL/Refute.thy	Wed Nov 17 16:24:07 2004 +0100
+++ b/src/HOL/Refute.thy	Wed Nov 17 19:25:34 2004 +0100
@@ -33,8 +33,8 @@
 (*                                                                           *)
 (* I strongly recommend that you install a stand-alone SAT solver if you     *)
 (* want to use 'refute'.  For details see 'HOL/Tools/sat_solver.ML'.  If you *)
-(* have installed ZChaff Version 2003.12.04, simply set 'ZCHAFF_HOME' in     *)
-(* 'etc/settings'.                                                           *)
+(* have installed (a supported version of) zChaff, simply set 'ZCHAFF_HOME'  *)
+(* in 'etc/settings'.                                                        *)
 (* ------------------------------------------------------------------------- *)
 
 (* ------------------------------------------------------------------------- *)