--- a/Quotient-Paper/document/root.tex	Wed May 26 15:34:54 2010 +0200
+++ b/Quotient-Paper/document/root.tex	Wed May 26 15:37:56 2010 +0200
@@ -1,4 +1,5 @@
-\documentclass{svjour3}
+%\documentclass{svjour3}
+\documentclass{llncs}
 \usepackage{times}
 \usepackage{isabelle}
 \usepackage{isabellesym}