| changeset 61411 | 289b92ddb57c |
| parent 61076 | bdc1e2f0a86a |
| child 61419 | 3c3f8b182e4b |
--- 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)}