Mon, 08 Nov 2021 11:45:15 +0100 added eq_iff_swap for generating symmetric versions; applied it in List. draft
nipkow [Mon, 08 Nov 2021 11:45:15 +0100] rev 75117
added eq_iff_swap for generating symmetric versions; applied it in List.
Sun, 07 Nov 2021 23:35:11 +0100 proper support for arm64;
wenzelm [Sun, 07 Nov 2021 23:35:11 +0100] rev 75116
proper support for arm64;
Sun, 07 Nov 2021 22:14:40 +0000 new lemmas about convex, concave functions, + tidying
paulson <lp15@cam.ac.uk> [Sun, 07 Nov 2021 22:14:40 +0000] rev 75115
new lemmas about convex, concave functions, + tidying
Sun, 07 Nov 2021 20:04:47 +0100 no perl (amending 59ef23ac81ab);
wenzelm [Sun, 07 Nov 2021 20:04:47 +0100] rev 75114
no perl (amending 59ef23ac81ab);
Sun, 07 Nov 2021 19:53:37 +0100 merged
wenzelm [Sun, 07 Nov 2021 19:53:37 +0100] rev 75113
merged
Sun, 07 Nov 2021 16:35:46 +0100 Added tag Isabelle2021-1-RC2 for changeset b92b5a57521b
wenzelm [Sun, 07 Nov 2021 16:35:46 +0100] rev 75112
Added tag Isabelle2021-1-RC2 for changeset b92b5a57521b
Sun, 07 Nov 2021 18:30:10 +0100 merged
nipkow [Sun, 07 Nov 2021 18:30:10 +0100] rev 75111
merged
Sun, 07 Nov 2021 16:30:42 +0100 back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin; Isabelle2021-1-RC2
wenzelm [Sun, 07 Nov 2021 16:30:42 +0100] rev 75110
back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin;
Sun, 07 Nov 2021 15:46:46 +0100 updated to polyml-5.9-5d4caa8f7148, which also contains ARM64 on darwin (unused by default);
wenzelm [Sun, 07 Nov 2021 15:46:46 +0100] rev 75109
updated to polyml-5.9-5d4caa8f7148, which also contains ARM64 on darwin (unused by default);
Sun, 07 Nov 2021 14:26:11 +0100 Preserve variable name z in VAR {z = t}
nipkow [Sun, 07 Nov 2021 14:26:11 +0100] rev 75108
Preserve variable name z in VAR {z = t}
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 tip