src/HOL/Refute.thy
changeset 15293 7797a04cc188
parent 15140 322485b816ac
child 16417 9bc16273c2d4
--- 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'.                                                        *)
 (* ------------------------------------------------------------------------- *)
 
 (* ------------------------------------------------------------------------- *)