
diff -r 782a2cd1a8d0 -r 38147e67196e LMCS-Paper/document/root.tex
--- a/LMCS-Paper/document/root.tex	Wed Aug 17 22:56:07 2011 +0200
+++ b/LMCS-Paper/document/root.tex	Thu Aug 18 14:10:52 2011 +0200
@@ -64,7 +64,8 @@
 \addtolength{\parskip}{-0.33mm}
 \begin{document}
 
-\title[Genral Bindings]{General Bindings and Alpha-Equivalence in Nominal Isabelle}
+\title[Genral Bindings]{General Bindings and Alpha-Equivalence in Nominal
+Isabelle$^\star$}
 \author{Christian Urban} 
 \address{Technical University of Munich, Germany}	
 \email{urbanc@in.tum.de}
@@ -72,6 +73,7 @@
 \author{Cezary Kaliszyk}
 \address{University of Tsukuba, Japan}
 \email{kaliszyk@score.cs.tsukuba.ac.jp}
+\thanks{$^\star$~This is a revised and expanded version of~\cite{UrbanKaliszyk11}}
 
 \keywords{Nominal Isabelle, variable convention, formal reasoning}
 \subjclass{F.3.1}




