[isabelle-dev] scala-2.12.2

[Lars Hupel]

> The patch is now running on testboard:
> <https://ci.isabelle.systems/jenkins/job/testboard/385/>.

Unfortunately, this patch did not work out.

22:13:39 *** Failed to finish proof (line 62 of
"~~/src/HOL/Library/Code_Target_Nat.thy"):
22:13:39 *** goal (1 subgoal):
22:13:39 ***  1. Transfer.Rel (rel_fun pcr_integer (rel_fun op = op =))
22:13:39 ***      (\<lambda>a b. True) op =
22:13:39 *** At command "by" (line 62 of
"~~/src/HOL/Library/Code_Target_Nat.thy")