--- a/LMCS-Paper/document/root.tex	Wed Sep 07 12:38:32 2011 +0100
+++ b/LMCS-Paper/document/root.tex	Thu Sep 08 11:21:03 2011 +0100
@@ -75,7 +75,7 @@
 \email{kaliszyk@score.cs.tsukuba.ac.jp}
 \thanks{$^\star$~This is a revised and expanded version of~\cite{UrbanKaliszyk11}}
 
-\keywords{Nominal Isabelle, variable convention, theorem provers, formal reasoning}
+\keywords{Nominal Isabelle, variable convention, theorem provers, formal reasoning,lambda-calculus}
 \subjclass{F.3.1}
 
 \begin{abstract}