diff -r f5f21feaa168 -r d40031f786f0 Quotient-Paper/Paper.thy
--- a/Quotient-Paper/Paper.thy	Mon Jun 14 19:02:25 2010 +0200
+++ b/Quotient-Paper/Paper.thy	Mon Jun 14 19:03:34 2010 +0200
@@ -257,7 +257,7 @@
 *}
 
 
-section {* Preliminaries and General Quotient\label{sec:prelims} *}
+section {* Preliminaries and General Quotients\label{sec:prelims} *}
 
 text {*
   We describe here briefly some of the most basic concepts of HOL