# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1334067582 -3600
# Node ID 0fb396ae137a03ba016230f10965c0827db6a0d0
# Parent  990f066609c93f211af993e0fe3a336515affd1e
ditto

diff -r 990f066609c9 -r 0fb396ae137a LMCS-Paper/document/root.tex
--- a/LMCS-Paper/document/root.tex	Tue Apr 10 15:18:52 2012 +0100
+++ b/LMCS-Paper/document/root.tex	Tue Apr 10 15:19:42 2012 +0100
@@ -76,7 +76,7 @@
 \email{cezary.kaliszyk@uibk.ac.at}
 \thanks{$^\star$~This is a revised and expanded version of~\cite{UrbanKaliszyk11}}
 
-\keywords{Nominal Isabelle, variable convention, theorem provers, formal reasoning, lambda-calculus}
+\keywords{Nominal Isabelle, variable convention, alpha-equivalence, theorem provers, formal reasoning, lambda-calculus}
 \subjclass{F.3.1}
 
 \begin{abstract}