NEWS

--- a/NEWS	Wed Jun 22 19:01:26 2016 +0200
+++ b/NEWS	Thu Jun 23 16:46:36 2016 +0200
@@ -129,6 +129,10 @@
 different phases of code generation. See src/HOL/ex/Code_Timing.thy for
 examples.
 
+* Code generator: implicits in Scala (stemming from type class instances)
+are generated into companion object of corresponding type class, to resolve
+some situations where ambiguities may occur.
+
 
 *** HOL ***