--- a/doc-src/Classes/classes.tex Tue Mar 03 11:00:51 2009 +0100
+++ b/doc-src/Classes/classes.tex Tue Mar 03 13:20:53 2009 +0100
@@ -1,5 +1,5 @@
-\documentclass[12pt,a4paper,fleqn]{report}
+\documentclass[12pt,a4paper,fleqn]{article}
\usepackage{latexsym,graphicx}
\usepackage[refpage]{nomencl}
\usepackage{../iman,../extra,../isar,../proof}
@@ -21,7 +21,7 @@
\maketitle
\begin{abstract}
- This tutorial introduces the look-and-feel of Isar type classes
+ \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