# HG changeset patch # User kleing # Date 1194296421 -3600 # Node ID 437d3a414bfa5f7c7803cea2d69871d6db99173d # Parent 0dffa8398915e9efc0729103a805b61c8d736d57 acknowledge authors diff -r 0dffa8398915 -r 437d3a414bfa src/HOL/Word/document/root.tex --- 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}