
diff -r c848f93807b9 -r 8dbe09606c66 Pearl-jv/document/root.tex
--- a/Pearl-jv/document/root.tex	Thu Oct 14 11:09:52 2010 +0100
+++ b/Pearl-jv/document/root.tex	Thu Oct 14 15:58:34 2010 +0100
@@ -1,4 +1,4 @@
-\documentclass{llncs}
+\documentclass{svjour3}
 \usepackage{times}
 \usepackage{isabelle}
 \usepackage{isabellesym}
@@ -25,8 +25,11 @@
 \begin{document}
 
 \title{Implementing the Nominal Logic Work in Isabelle/HOL}
-\author{Brian Huffman\inst{1} and Christian Urban\inst{2}}
-\institute{Portland State University \and Technical University of Munich}
+\author{Christian Urban \and Brian Huffman}
+\institute{C.~Urban \at Technical University of Munich 
+     \and  B.~Huffman \at Portland State University}
+\date{Received: date / Accepted: date}
+
 \maketitle
 
 \begin{abstract}




