--- a/Paper/document/root.tex	Thu Apr 01 14:53:14 2010 +0200
+++ b/Paper/document/root.tex	Thu Apr 01 15:41:48 2010 +0200
@@ -63,7 +63,6 @@
 \affiliation{TU Munich, Germany}
 \maketitle
 
-\maketitle
 \begin{abstract} 
 Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem
 prover. It provides a proving infrastructure for convenient reasoning about