# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1313669452 -7200
# Node ID 38147e67196e084c471ee455bb6dfb675ff97ffc
# Parent  782a2cd1a8d092b681524f131709b71a5e1f05b2
a bit more on the paper

diff -r 782a2cd1a8d0 -r 38147e67196e LMCS-Paper/document/root.bib
--- a/LMCS-Paper/document/root.bib	Wed Aug 17 22:56:07 2011 +0200
+++ b/LMCS-Paper/document/root.bib	Thu Aug 18 14:10:52 2011 +0200
@@ -1,3 +1,13 @@
+@InProceedings{UrbanKaliszyk11,
+  author =       {C.~Urban and C.~Kaliszyk},
+  title =        {General Bindings and Alpha-Equivalence in Nominal Isabelle},
+  booktitle =    {Proceedings of the 20th European Symposium on Programming (ESOP)},
+  pages =        {480-500},
+  year =         {2011},
+  volume =       {6602},
+  series =       {LNCS}
+}
+
 
 @inproceedings{KaliszykUrban11,
   author = 	 {C.~Kaliszyk and C.~Urban},
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}