--- a/Quotient-Paper/document/root.tex	Tue May 04 16:17:46 2010 +0200
+++ b/Quotient-Paper/document/root.tex	Tue May 04 16:18:07 2010 +0200
@@ -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