acknowledge authors

--- a/src/HOL/Word/document/root.tex	Mon Nov 05 21:05:03 2007 +0100
+++ b/src/HOL/Word/document/root.tex	Mon Nov 05 22:00:21 2007 +0100
@@ -12,6 +12,8 @@
 
 \title{Machine Words in Isabelle/HOL}
 
+\author{Jeremy Dawson, Paul Graunke, Brian Huffman, Gerwin Klein, and John Matthews}
+
 \maketitle
 
 \begin{abstract}