# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1275920255 -7200
# Node ID 1a9dbfe04f7d0f00f788ebdb809263c9a99ebd5e
# Parent  b307de538d2013a9a537c9a34a89889da2dd1de8
new title for POPL paper

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