
diff -r ab6637008963 -r 23c0e6f2929d Paper/document/root.tex
--- a/Paper/document/root.tex	Sat Feb 19 22:05:22 2011 +0000
+++ b/Paper/document/root.tex	Sun Feb 20 06:02:58 2011 +0000
@@ -1,4 +1,4 @@
-\documentclass{llncs}
+\documentclass[runningheads]{llncs}
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{amsmath}
@@ -12,6 +12,9 @@
 %%\usepackage{mathabx}
 \usepackage{stmaryrd}
 
+\titlerunning{Myhill-Nerode using Regular Expressions}
+
+
 \urlstyle{rm}
 \isabellestyle{it}
 \renewcommand{\isastyleminor}{\it}%




