1.1 --- a/doc-src/Classes/classes.tex	Tue May 26 13:40:49 2009 +0200
     1.2 +++ b/doc-src/Classes/classes.tex	Tue May 26 13:40:50 2009 +0200
     1.3 @@ -21,12 +21,11 @@
     1.4  \maketitle
     1.5  
     1.6  \begin{abstract}
     1.7 -  \noindent This tutorial introduces the look-and-feel of Isar type classes
     1.8 -  to the end-user; Isar type classes are a convenient mechanism
     1.9 -  for organizing specifications, overcoming some drawbacks
    1.10 -  of raw axiomatic type classes. Essentially, they combine
    1.11 -  an operational aspect (in the manner of Haskell) with
    1.12 -  a logical aspect, both managed uniformly.
    1.13 +  \noindent This tutorial introduces the look-and-feel of
    1.14 +  Isar type classes to the end-user.  Isar type classes
    1.15 +  are a convenient mechanism for organizing specifications.
    1.16 +  Essentially, they combine an operational aspect (in the
    1.17 +  manner of Haskell) with a logical aspect, both managed uniformly.
    1.18  \end{abstract}
    1.19  
    1.20  \thispagestyle{empty}\clearpage