doc-src/Codegen/Thy/Further.thy

     \item @{text Scala} prefers tupled syntax over curried syntax.
 
     \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},
       @{text Scala} provides a sophisticated system of \emph{implicit
       arguments}.