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.
typo fixed: rufute -> refute
authorwebertj
Fri, 23 Sep 2005 15:45:12 +0200
changeset 17601 a6a322f96145
parent 17600 9ae09014730c
child 17602 63367feba417
typo fixed: rufute -> refute
src/HOL/Main.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Main.thy	Fri Sep 23 15:38:22 2005 +0200
+++ b/src/HOL/Main.thy	Fri Sep 23 15:45:12 2005 +0200
@@ -14,7 +14,7 @@
 
 subsection {* Special hacks, late package setup etc. *}
 
-text {* \medskip Default values for rufute, see also theory @{text
+text {* \medskip Default values for refute, see also theory @{text
   Refute}.
 *}
isabelle