paulson <lp15@cam.ac.uk> [Sun, 01 Jan 2023 00:45:55 +0000] rev 76836
Big simplifications of old proofs
paulson <lp15@cam.ac.uk> [Sat, 31 Dec 2022 11:09:19 +0000] rev 76835
repaired a proof
paulson <lp15@cam.ac.uk> [Fri, 30 Dec 2022 23:21:37 +0000] rev 76834
Continued proof simplifications
paulson [Fri, 30 Dec 2022 20:59:38 +0000] rev 76833
merged
paulson <lp15@cam.ac.uk> [Fri, 30 Dec 2022 17:48:41 +0000] rev 76832
A further round of proof consolidation
wenzelm [Fri, 30 Dec 2022 21:27:57 +0100] rev 76831
tuned signature: avoid too many aliases;
wenzelm [Fri, 30 Dec 2022 21:09:50 +0100] rev 76830
proper thread context (amending 01a7265db76b) -- at the danger of blocking the GUI;
wenzelm [Fri, 30 Dec 2022 20:38:29 +0100] rev 76829
more robust: avoid detour via somewhat fragile Node.Name.path;
wenzelm [Fri, 30 Dec 2022 20:26:28 +0100] rev 76828
clarified generic path operations;
wenzelm [Fri, 30 Dec 2022 16:23:32 +0100] rev 76827
more flexible: implicit support for Windows;