--- a/src/HOL/Algebra/document/root.tex Fri Dec 03 20:26:57 2010 +0100
+++ b/src/HOL/Algebra/document/root.tex Fri Dec 03 20:38:58 2010 +0100
@@ -2,7 +2,8 @@
\usepackage{graphicx}
\usepackage{isabelle,isabellesym}
\usepackage{amssymb}
-\usepackage[latin1]{inputenc}
+\usepackage{textcomp}
+\usepackage[utf8]{inputenc}
\usepackage[only,bigsqcap]{stmaryrd}
%\usepackage{amsmath}
@@ -17,8 +18,8 @@
\title{The Isabelle/HOL Algebra Library}
\author{Clemens Ballarin (Editor)}
-\date{With contributions by Jesús Aransay, Clemens Ballarin, Stephan Hohe,
- Florian Kammüller and Lawrence C Paulson \\
+\date{With contributions by Jesús Aransay, Clemens Ballarin, Stephan Hohe,
+ Florian Kammüller and Lawrence C Paulson \\
\today}
\maketitle