# 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}