# HG changeset patch
# User paulson
# Date 840447188 -7200
# Node ID d898eb4beb967ce9f530b981fac866e52145d473
# Parent  27b71d839d5076c106110a057fb1bfde29a685ec
Improved comment

diff -r 27b71d839d50 -r d898eb4beb96 src/HOL/HOL.ML
--- a/src/HOL/HOL.ML	Mon Aug 19 11:25:04 1996 +0200
+++ b/src/HOL/HOL.ML	Mon Aug 19 11:33:08 1996 +0200
@@ -348,7 +348,7 @@
 
 
 
-(*** Load simpdata.ML to be able to initialize HOL's simpset ***)
+(*** Setting up the classical reasoner and simplifier ***)
 
 
 (** Applying HypsubstFun to generate hyp_subst_tac **)