# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1276535014 -7200
# Node ID d40031f786f01662c859e9dca04577c78994de23
# Parent  f5f21feaa168a5809e68f12d7ccaf22e9b39bb9e
typo

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