changeset 14706 | 71590b7733b7 |
parent 14589 | feae7b5fd425 |
child 15013 | 34264f5e4691 |
--- a/src/HOL/Library/Word.thy Thu May 06 12:43:00 2004 +0200 +++ b/src/HOL/Library/Word.thy Thu May 06 14:14:18 2004 +0200 @@ -3,10 +3,7 @@ Author: Sebastian Skalberg (TU Muenchen) *) -header {* - \title{Binary Words} - \author{Sebastian Skalberg} -*} +header {* Binary Words *} theory Word = Main files "word_setup.ML":