--- a/Journal/document/root.tex	Fri Jul 05 12:07:48 2013 +0100
+++ b/Journal/document/root.tex	Fri Jul 05 17:19:17 2013 +0100
@@ -1,9 +1,10 @@
-\documentclass[final, natbib]{svjour3} 
+\documentclass[final,natbib]{svjour3} 
 %\documentclass[acmtocl,final]{acmtrans2m}
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{amsmath}
 \usepackage{amssymb}
+%%\usepackage{amsthm}
 \usepackage{tikz}
 \usepackage{pgf}
 \usetikzlibrary{arrows,automata,decorations,fit,calc}
@@ -41,10 +42,10 @@
 
 \newcommand{\bigplus}{\mbox{\Large\bf$+$}}
 
-\newtheorem{thrm}{Theorem}[section]
-\newtheorem{lmm}{Lemma}[section]
-\newtheorem{dfntn}{Definition}[section]
-\newtheorem{prpstn}{Proposition}[section]
+%\spnewtheorem{thrm}{Theorem}[section]{\bf}{\it}
+%\spnewtheorem{lmm}{Lemma}[section]{\bf}{\it}
+%\spnewtheorem{dfntn}{Definition}[section]{\bf}{\it}
+%\spnewtheorem{prpstn}{Proposition}[section]{\bf}{\it}
 
 \begin{document}
 
@@ -58,7 +59,7 @@
 
 \author{Chunhan Wu \and Xingyuan Zhang \and Christian Urban}
 \institute{Chunhan Wu \and Xingyuan Zhang \at PLA University of Science and Technology Nanjing, China \and
-Christian Urban \at King's College London, United Kingdom}
+Chunhan Wu \and Christian Urban \at King's College London, United Kingdom}
 
 \date{Received: date / Accepted: date}