--- a/LMCS-Paper/document/root.tex	Wed Aug 17 09:43:37 2011 +0200
+++ b/LMCS-Paper/document/root.tex	Wed Aug 17 21:08:48 2011 +0200
@@ -74,7 +74,7 @@
 \email{kaliszyk@score.cs.tsukuba.ac.jp}
 
 \keywords{Nominal Isabelle, variable convention, formal reasoning}
-\subjclass{MANDATORY list of acm classifications}
+\subjclass{F.3.1}
 
 \begin{abstract} 
 Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem