diff -r 559e5c6e5113 -r b388dceee892 Paper/document/root.tex
--- a/Paper/document/root.tex	Fri Jan 18 11:40:01 2013 +0000
+++ b/Paper/document/root.tex	Fri Jan 18 13:03:09 2013 +0000
@@ -27,7 +27,7 @@
 \begin{document}
 
 
-\title{Formalising Computability Theory in Isabelle/HOL}
+\title{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}