--- a/Quotient-Paper/document/root.tex	Fri May 21 17:17:51 2010 +0200
+++ b/Quotient-Paper/document/root.tex	Sun May 23 16:45:00 2010 +0100
@@ -1,4 +1,5 @@
-\documentclass{svjour3}
+%\documentclass{svjour3}
+\documentclass{llncs}
 \usepackage{times}
 \usepackage{isabelle}
 \usepackage{isabellesym}