# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1272873135 -3600
# Node ID 5641981ec67dbd8aae2e258f39bac9b8d0024655
# Parent  17684f7eaeb99e8826ca0457e511b3f397082bc3
some preliminary notes of the abstract (qpaper); still need to see the motivating example

diff -r 17684f7eaeb9 -r 5641981ec67d Quotient-Paper/document/root.tex
--- 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