# HG changeset patch
# User haftmann
# Date 1329592336 -3600
# Node ID a0abc2ea815e22e904fd5930095e9ac56c3fe833
# Parent  17dde5feea4bda3ca6dbfbea20b2f227408d196e
corrected spelling

diff -r 17dde5feea4b -r a0abc2ea815e doc-src/Codegen/Thy/Further.thy
--- a/doc-src/Codegen/Thy/Further.thy	Sat Feb 18 20:11:58 2012 +0100
+++ b/doc-src/Codegen/Thy/Further.thy	Sat Feb 18 20:12:16 2012 +0100
@@ -18,7 +18,7 @@
     \item @{text Scala} sacrifices Hindely-Milner type inference for a
       much more rich type system with subtyping etc.  For this reason
       type arguments sometimes have to be given explicitly in square
-      brackets (mimicing System F syntax).
+      brackets (mimicking System F syntax).
 
     \item In contrast to @{text Haskell} where most specialities of
       the type system are implemented using \emph{type classes},