src/HOL/IMP/document/root.tex

--- a/src/HOL/IMP/document/root.tex	Fri Jan 03 22:04:44 2014 +0100
+++ b/src/HOL/IMP/document/root.tex	Sun Jan 05 18:59:29 2014 +0100
@@ -20,7 +20,7 @@
 \begin{document}
 
 \title{Concrete Semantics}
-\author{TN \& GK}
+\author{Tobias Nipkow \& Gerwin Klein}
 \maketitle
 
 \setcounter{tocdepth}{2}
@@ -31,6 +31,7 @@
 \input{session}
 
 \nocite{Nipkow}
+\nocite{ConcreteSemantics}
 
 \bibliographystyle{abbrv}
 \bibliography{root}