isabelle: Changelog

paulson [Tue, 21 Feb 2023 11:25:23 +0000] rev 77325

merged

paulson <lp15@cam.ac.uk> [Mon, 20 Feb 2023 17:11:43 +0000] rev 77324

Simplified some more proofs

paulson [Mon, 20 Feb 2023 15:20:03 +0000] rev 77323

merged

paulson <lp15@cam.ac.uk> [Mon, 20 Feb 2023 15:19:53 +0000] rev 77322

Replacing z powr of_int i by z powi i and adding new material from the AFP

wenzelm [Mon, 20 Feb 2023 21:53:15 +0100] rev 77321

merged

wenzelm [Mon, 20 Feb 2023 21:47:25 +0100] rev 77320

tuned: avoid redundant white space;

wenzelm [Mon, 20 Feb 2023 21:40:52 +0100] rev 77319

clarified signature: more robust operations, without assumption about node 0;

wenzelm [Mon, 20 Feb 2023 21:04:49 +0100] rev 77318

clarified signature: more concise operations;

wenzelm [Mon, 20 Feb 2023 17:13:19 +0100] rev 77317

clarified modules: NUMA is managed by Build_Process;

wenzelm [Mon, 20 Feb 2023 17:10:22 +0100] rev 77316

tuned signature;

isabelle