diff --git a/src/HOL/Examples/document/root.tex b/src/HOL/Examples/document/root.tex
--- a/src/HOL/Examples/document/root.tex
+++ b/src/HOL/Examples/document/root.tex
@@ -1,27 +1,27 @@
 \documentclass[11pt,a4paper]{article}
+\usepackage[T1]{fontenc}
 \usepackage[utf8]{inputenc}
-\usepackage[T1]{fontenc}
 \usepackage[only,bigsqcap]{stmaryrd}
 \usepackage{ifthen,proof,amssymb,isabelle,isabellesym}
 
 \isabellestyle{literal}
 \usepackage{pdfsetup}\urlstyle{rm}
 
 
 \hyphenation{Isabelle}
 
 \begin{document}
 
 \title{Notable Examples in Isabelle/HOL}
 \maketitle
 
 \tableofcontents
 
 \parindent 0pt \parskip 0.5ex
 
 \input{session}
 
 \bibliographystyle{abbrv}
 \bibliography{root}
 
 \end{document}
diff --git a/src/Pure/Examples/document/root.tex b/src/Pure/Examples/document/root.tex
--- a/src/Pure/Examples/document/root.tex
+++ b/src/Pure/Examples/document/root.tex
@@ -1,24 +1,24 @@
 \documentclass[11pt,a4paper]{article}
+\usepackage[T1]{fontenc}
 \usepackage[utf8]{inputenc}
-\usepackage[T1]{fontenc}
 \usepackage{ifthen,proof,amssymb,isabelle,isabellesym}
 
 \isabellestyle{literal}
 \usepackage{pdfsetup}\urlstyle{rm}
 
 
 \hyphenation{Isabelle}
 
 \begin{document}
 
 \title{Notable Examples in Isabelle/Pure}
 \maketitle
 
 \parindent 0pt \parskip 0.5ex
 
 \input{session}
 
 \bibliographystyle{abbrv}
 \bibliography{root}
 
 \end{document}