| Fri, 01 Nov 2024 14:10:52 +0000 | paulson | Library material from Eberl's Parallel_Shear_Sort | changeset | files |
| Fri, 01 Nov 2024 12:15:53 +0000 | paulson | Trying to clean up these horribly ugly old proofs, but the requirement of constructivity makes it very difficult | changeset | files |
| Thu, 31 Oct 2024 18:43:32 +0100 | Manuel Eberl | use automatically generated time function in HOL-Data_Structures.Selection | changeset | files |
| Thu, 31 Oct 2024 15:46:53 +0100 | nipkow | merged | changeset | files |
| Thu, 31 Oct 2024 15:46:33 +0100 | nipkow | better time_functions (let) | changeset | files |
| Thu, 31 Oct 2024 14:58:53 +0100 | Fabian Huch | less hidden configuration; | changeset | files |
| Thu, 31 Oct 2024 14:56:59 +0100 | Fabian Huch | proper passwordless smtp check: must be null; | changeset | files |