| Wed, 10 Nov 2021 08:36:50 +0100 | nipkow | added lemma | changeset | files |
| Tue, 09 Nov 2021 19:47:24 +0100 | nipkow | merged | changeset | files |
| Tue, 09 Nov 2021 16:17:13 +0100 | nipkow | tuned attributes to avoid looping | changeset | files |
| Mon, 08 Nov 2021 19:56:15 +0100 | nipkow | added eq_iff_swap for creating symmetric variants of thms; applied it in List. | changeset | files |
| Tue, 09 Nov 2021 19:17:47 +0100 | wenzelm | tuned text; | changeset | files |
| Tue, 09 Nov 2021 17:20:04 +0100 | wenzelm | more robust timeout, following df4449c6eff1; | changeset | files |
| Tue, 09 Nov 2021 11:23:27 +0100 | wenzelm | more accurate Files.isRegularFile, exclude directories (e.g. jar_path); | changeset | files |