--- a/Quotient-Paper/document/root.tex	Mon May 03 00:01:12 2010 +0100
+++ b/Quotient-Paper/document/root.tex	Mon May 03 08:52:15 2010 +0100
@@ -13,13 +13,15 @@
 
 \begin{document}
 
-\title{Quotients Revisited}
+\title{Quotients Revisited for Isabelle/HOL}
 \author{Cezary Kaliszyk$^*$ and Christian Urban$^*$}
 \institute{$^*$ Technical University of Munich, Germany}
 \maketitle
 
 \begin{abstract}
-TBD
+Higher-order logic (HOL) is based on a safe logic kernel, which 
+can only be extended by introducing new definitions and new types. 
+
 \end{abstract}
 
 % generated text of all theories