acknowledge authors
authorkleing
Mon Nov 05 22:00:21 2007 +0100 (2007-11-05)
changeset 25294437d3a414bfa
parent 25293 0dffa8398915
child 25295 12985023be5e
acknowledge authors
src/HOL/Word/document/root.tex
     1.1 --- a/src/HOL/Word/document/root.tex	Mon Nov 05 21:05:03 2007 +0100
     1.2 +++ b/src/HOL/Word/document/root.tex	Mon Nov 05 22:00:21 2007 +0100
     1.3 @@ -12,6 +12,8 @@
     1.4  
     1.5  \title{Machine Words in Isabelle/HOL}
     1.6  
     1.7 +\author{Jeremy Dawson, Paul Graunke, Brian Huffman, Gerwin Klein, and John Matthews}
     1.8 +
     1.9  \maketitle
    1.10  
    1.11  \begin{abstract}