A tiny bit of tidying connected with Zorn's Lemma
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rISABELLEcba1da393958: more accurate Files.isRegularFile, exclude directories (e.g. jar_path);
- Branches
- Unknown
- Tags