1.1 --- a/doc-src/Classes/classes.tex	Wed Jun 17 15:41:49 2009 +0200
     1.2 +++ b/doc-src/Classes/classes.tex	Wed Jun 17 17:07:17 2009 +0100
     1.3 @@ -21,8 +21,7 @@
     1.4  \maketitle
     1.5  
     1.6  \begin{abstract}
     1.7 -  \noindent This tutorial introduces the look-and-feel of
     1.8 -  Isar type classes to the end-user.  Isar type classes
     1.9 +  \noindent This tutorial introduces Isar type classes, which 
    1.10    are a convenient mechanism for organizing specifications.
    1.11    Essentially, they combine an operational aspect (in the
    1.12    manner of Haskell) with a logical aspect, both managed uniformly.