--- a/doc-src/Classes/classes.tex Wed Jun 17 15:41:49 2009 +0200
+++ b/doc-src/Classes/classes.tex Wed Jun 17 17:07:17 2009 +0100
@@ -21,8 +21,7 @@
\maketitle
\begin{abstract}
- \noindent This tutorial introduces the look-and-feel of
- Isar type classes to the end-user. Isar type classes
+ \noindent This tutorial introduces Isar type classes, which
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.