--- a/Paper/document/root.tex	Mon Jun 07 15:57:03 2010 +0200
+++ b/Paper/document/root.tex	Mon Jun 07 16:17:35 2010 +0200
@@ -59,8 +59,7 @@
 
 \begin{document}
 
-\title{\LARGE\bf General Bindings in Nominal Isabelle,\\ or How to
-  Formalise Core-Haskell}
+\title{\LARGE\bf General Bindings and Alpha-Equivalence in Nominal Isabelle}
 \author{Christian Urban, Cezary Kaliszyk}
 \affiliation{TU Munich, Germany}
 \maketitle