Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improved comment
authorpaulson
Mon, 19 Aug 1996 11:33:08 +0200
changeset 1918 d898eb4beb96
parent 1917 27b71d839d50
child 1919 d94c12235878
Improved comment
src/HOL/HOL.ML file | annotate | diff | comparison | revisions 
--- 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 **)
isabelle