--- a/Journal/document/root.tex	Sat Jul 27 08:17:54 2013 +0200
+++ b/Journal/document/root.tex	Sat Jul 27 08:23:09 2013 +0200
@@ -41,7 +41,7 @@
 \begin{document}
 
 
-\title{Mechanising Turing Machines and Computability Theory in Isabelle/HOL}
+\title{Turing Machines and Separation Logic:\\ Mechanising Computability Theory in Isabelle/HOL}
 \author{Jian Xu\inst{1} \and Xingyuan Zhang\inst{1} \and Christian Urban\inst{2}}
 \institute{PLA University of Science and Technology, China \and King's College London, UK}