# HG changeset patch
# User huffman
# Date 1215547659 -7200
# Node ID 5287623e7ff993d3335f6741a45b81890760a568
# Parent  a019d6568a3cbef4e6f8cb96f9825a4c4bab82b9
fix another typo

diff -r a019d6568a3c -r 5287623e7ff9 doc-src/IsarAdvanced/Classes/Thy/Classes.thy
--- a/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Tue Jul 08 22:02:15 2008 +0200
+++ b/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Tue Jul 08 22:07:39 2008 +0200
@@ -75,7 +75,7 @@
   but form a generic calculus, an instance of order-sorted
   algebra \cite{Nipkow-Prehofer:1993,nipkow-sorts93,Wenzel:1997:TPHOL}.
 
-  From a software enigineering point of view, type classes
+  From a software engineering point of view, type classes
   correspond to interfaces in object-oriented languages like Java;
   so, it is naturally desirable that type classes do not only
   provide functions (class parameters) but also state specifications