# HG changeset patch
# User haftmann
# Date 1192194021 -7200
# Node ID c62c5209487b340c744289c6df6dad751608318b
# Parent  0b067b2d1b8834840d979fe46ff917784d71f458
updated

diff -r 0b067b2d1b88 -r c62c5209487b doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex
--- a/doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex	Fri Oct 12 14:42:31 2007 +0200
+++ b/doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex	Fri Oct 12 15:00:21 2007 +0200
@@ -109,7 +109,7 @@
   all those aspects together:
 
   \begin{enumerate}
-    \item specifying abstract parameters togehter with
+    \item specifying abstract parameters together with
        corresponding specifications,
     \item instantating those abstract parameters by a particular
        type