> 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") _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev