
diff -r 9ffee4eb1ae1 -r 0bc1db726f81 Quotient-Paper/document/root.tex
--- a/Quotient-Paper/document/root.tex	Sun Aug 29 13:36:03 2010 +0800
+++ b/Quotient-Paper/document/root.tex	Mon Aug 30 11:02:13 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@score.cs.tsukuba.ac.jp}
+%\alignauthor
+%Christian Urban\\
+%  \affaddr{Technical University of Munich, Germany}\\
+%  \email{urbanc@in.tum.de}
+%}
 
 \maketitle
 




