typo fixed: rufute -> refute
authorwebertj
Fri Sep 23 15:45:12 2005 +0200 (2005-09-23)
changeset 17601a6a322f96145
parent 17600 9ae09014730c
child 17602 63367feba417
typo fixed: rufute -> refute
src/HOL/Main.thy
     1.1 --- a/src/HOL/Main.thy	Fri Sep 23 15:38:22 2005 +0200
     1.2 +++ b/src/HOL/Main.thy	Fri Sep 23 15:45:12 2005 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4  
     1.5  subsection {* Special hacks, late package setup etc. *}
     1.6  
     1.7 -text {* \medskip Default values for rufute, see also theory @{text
     1.8 +text {* \medskip Default values for refute, see also theory @{text
     1.9    Refute}.
    1.10  *}
    1.11