--- 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