diff -r fff2e1b40dfc -r 32b222d77fa0 thys/Paper/document/root.tex
--- a/thys/Paper/document/root.tex	Wed Jul 19 14:55:46 2017 +0100
+++ b/thys/Paper/document/root.tex	Fri Aug 11 20:29:01 2017 +0100
@@ -1,4 +1,5 @@
 \documentclass[runningheads]{llncs}
+\usepackage{stix}
 \usepackage{times}
 \usepackage{isabelle}
 \usepackage{isabellesym}
@@ -13,6 +14,8 @@
 \usepackage{url}
 \usepackage{color}
 
+
+
 \titlerunning{POSIX Lexing with Derivatives of Regular Expressions}
 
 \urlstyle{rm}