--- a/Journal/document/root.tex	Tue Mar 04 15:30:24 2014 +0000
+++ b/Journal/document/root.tex	Tue Mar 04 15:49:36 2014 +0000
@@ -3,6 +3,7 @@
 %\textwidth 130mm
 %\textheight 200mm
 %\renewenvironment{abstract}{\section*{Abstract}\small}{}
+\pagestyle{headings}
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{amsmath}