Summary
- avoid overlapping equations for gcd, lcm on integers
- compiling implicit instances into companion objects for classes avoids ambiguities
The file was modified | src/HOL/Library/Code_Target_Int.thy (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Tools/Code/code_scala.ML (diff) |