wenzelm [Mon, 19 Feb 2024 16:04:00 +0100] rev 79679
proper treatment of "isabelle build_process -C" (amending 0cac7e3634d0);
wenzelm [Mon, 19 Feb 2024 11:47:51 +0100] rev 79678
clarified signature;
more robust slice_size;
wenzelm [Mon, 19 Feb 2024 11:39:15 +0100] rev 79677
clarified names;
wenzelm [Mon, 19 Feb 2024 11:30:37 +0100] rev 79676
more explicit build_cluster flag to guard open_build_database server;
wenzelm [Mon, 19 Feb 2024 11:07:08 +0100] rev 79675
tuned;
wenzelm [Sun, 18 Feb 2024 19:09:05 +0100] rev 79674
clarified signature;
haftmann [Wed, 21 Feb 2024 16:19:36 +0000] rev 79673
simplified specification of type class semiring_bits
paulson <lp15@cam.ac.uk> [Wed, 21 Feb 2024 10:46:22 +0000] rev 79672
New material about transcendental functions, polynomials, et cetera, thanks to Manuel Eberl
paulson [Mon, 19 Feb 2024 14:12:29 +0000] rev 79671
merged
paulson <lp15@cam.ac.uk> [Mon, 19 Feb 2024 14:12:20 +0000] rev 79670
A small collection of new and useful facts, including the AM-GM inequality