
diff -r 1a14c4171a51 -r 4e5a7b606eab Paper/document/root.tex
--- a/Paper/document/root.tex	Thu Jun 10 14:53:28 2010 +0200
+++ b/Paper/document/root.tex	Thu Jun 10 14:53:45 2010 +0200
@@ -1,4 +1,4 @@
-\documentclass{acmconf}
+\documentclass{sigplanconf}
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{amsmath}
@@ -59,10 +59,10 @@
 
 \begin{document}
 
-\title{\LARGE\bf General Bindings in Nominal Isabelle,\\ or How to
-  Formalise Core-Haskell}
-\author{Christian Urban, Cezary Kaliszyk}
-\affiliation{TU Munich, Germany}
+\title{\LARGE\bf General Bindings and Alpha-Equivalence in Nominal Isabelle}
+\authorinfo{Christian Urban and Cezary Kaliszyk}
+           {TU Munich, Germany}
+           {urbanc/kaliszyk@in.tum.de}
 \maketitle
 
 \begin{abstract} 
@@ -80,6 +80,14 @@
 convention already built in.
 \end{abstract}
 
+\category{CR-number}{subcategory}{third-level}
+
+\terms
+term1, term2
+
+\keywords
+keyword1, keyword2
+
 
 \input{session}
 




