
diff -r b307de538d20 -r 1a9dbfe04f7d Paper/document/root.tex
--- 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




