--- a/Quotient-Paper/document/root.tex	Thu Oct 28 14:12:30 2010 +0900
+++ b/Quotient-Paper/document/root.tex	Thu Oct 28 15:16:43 2010 +0900
@@ -45,17 +45,17 @@
 \crdata{978-1-4503-0113-8/11/03}
 
 \title{Quotients Revisited for Isabelle/HOL}
-%\numberofauthors{2}
-%\author{
-%\alignauthor
-%Cezary Kaliszyk\\
-%  \affaddr{University of Tsukuba, Japan}\\
-%  \email{kaliszyk@score.cs.tsukuba.ac.jp}
-%\alignauthor
-%Christian Urban\\
-%  \affaddr{Technical University of Munich, Germany}\\
-%  \email{urbanc@in.tum.de}
-%}
+\numberofauthors{2}
+\author{
+\alignauthor
+Cezary Kaliszyk\\
+  \affaddr{University of Tsukuba, Japan}\\
+  \email{kaliszyk@cs.tsukuba.ac.jp}
+\alignauthor
+Christian Urban\\
+  \affaddr{Technical University of Munich, Germany}\\
+  \email{urbanc@in.tum.de}
+}
 
 \maketitle