diff -r 7440bfcdf849 -r 0ce4f938e8cc Paper/document/root.tex --- 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