# HG changeset patch
# User webertj
# Date 1127483112 -7200
# Node ID a6a322f9614520909f3957c61e2633642fa835f5
# Parent  9ae09014730cb6066f809afa91bae85fc52acd15
typo fixed: rufute -> refute

diff -r 9ae09014730c -r a6a322f96145 src/HOL/Main.thy
--- 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}.
 *}