--- a/Paper/document/root.tex	Thu Jun 10 13:28:38 2010 +0200
+++ b/Paper/document/root.tex	Thu Jun 10 13:37:32 2010 +0200
@@ -1,4 +1,4 @@
-\documentclass{acmconf}
+\documentclass{sigplanconf}
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{amsmath}
@@ -60,8 +60,9 @@
 \begin{document}
 
 \title{\LARGE\bf General Bindings and Alpha-Equivalence in Nominal Isabelle}
-\author{Christian Urban, Cezary Kaliszyk}
-\affiliation{TU Munich, Germany}
+\authorinfo{Christian Urban and Cezary Kaliszyk}
+           {TU Munich, Germany}
+           {urbanc/kaliszyk@in.tum.de}
 \maketitle
 
 \begin{abstract} 
@@ -79,6 +80,14 @@
 convention already built in.
 \end{abstract}
 
+\category{CR-number}{subcategory}{third-level}
+
+\terms
+term1, term2
+
+\keywords
+keyword1, keyword2
+
 
 \input{session}