spelling;

--- a/src/Doc/Classes/Classes.thy	Mon Oct 12 19:47:23 2015 +0200
+++ b/src/Doc/Classes/Classes.thy	Mon Oct 12 19:47:29 2015 +0200
@@ -607,7 +607,7 @@
 
 
 text {*
-  \noindent In Scala, implicts are used as dictionaries:
+  \noindent In Scala, implicits are used as dictionaries:
 *}
 text %quotetypewriter {*
   @{code_stmts example (Scala)}