| changeset 25294 | 437d3a414bfa |
| parent 25262 | d0928156e326 |
| child 36862 | 952b2b102a0a |
--- 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}