| changeset 17601 | a6a322f96145 |
| parent 17509 | 054cd8972095 |
| child 17602 | 63367feba417 |
--- 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}. *}