diff -r 0f8cb37bcafd -r cf75908fd3c3 doc-src/Classes/classes.tex
--- a/doc-src/Classes/classes.tex	Tue May 26 13:40:49 2009 +0200
+++ b/doc-src/Classes/classes.tex	Tue May 26 13:40:50 2009 +0200
@@ -21,12 +21,11 @@
 \maketitle
 
 \begin{abstract}
-  \noindent This tutorial introduces the look-and-feel of Isar type classes
-  to the end-user; Isar type classes are a convenient mechanism
-  for organizing specifications, overcoming some drawbacks
-  of raw axiomatic type classes. Essentially, they combine
-  an operational aspect (in the manner of Haskell) with
-  a logical aspect, both managed uniformly.
+  \noindent This tutorial introduces the look-and-feel of
+  Isar type classes to the end-user.  Isar type classes
+  are a convenient mechanism for organizing specifications.
+  Essentially, they combine an operational aspect (in the
+  manner of Haskell) with a logical aspect, both managed uniformly.
 \end{abstract}
 
 \thispagestyle{empty}\clearpage