paulson <lp15@cam.ac.uk> [Wed, 26 Oct 2022 18:08:44 +0100] rev 76377
Beautifying CTT a tiny bit
paulson <lp15@cam.ac.uk> [Wed, 26 Oct 2022 17:22:12 +0100] rev 76376
A couple of new theorems. Also additional coercions to the complex numbers
wenzelm [Wed, 26 Oct 2022 00:30:50 +0200] rev 76375
more macOS platforms, without reference hardware;
wenzelm [Tue, 25 Oct 2022 15:13:11 +0200] rev 76374
official release;
wenzelm [Tue, 25 Oct 2022 15:11:18 +0200] rev 76373
merged
wenzelm [Tue, 25 Oct 2022 11:17:19 +0200] rev 76372
Added tag Isabelle2022 for changeset 1ac2416e8432
wenzelm [Mon, 24 Oct 2022 20:37:32 +0200] rev 76371
tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;
wenzelm [Mon, 24 Oct 2022 20:24:34 +0200] rev 76370
tuned signature, e.g. for Isabelle/DOF;
wenzelm [Mon, 24 Oct 2022 15:24:04 +0200] rev 76369
updated to naproche-20221024: minor changes to documentation;
paulson <lp15@cam.ac.uk> [Mon, 24 Oct 2022 15:58:06 +0100] rev 76368
Replaced some ugly legacy proofs