| Sat, 03 Jun 2023 22:54:24 +1000 | nipkow | TN has enough examples of the bug. | changeset | files |
| Fri, 02 Jun 2023 12:14:17 +0200 | desharna | added lemma ffUnion_fsubset_iff | changeset | files |
| Thu, 01 Jun 2023 12:08:33 +0100 | paulson | Even more material from the HOL Light metric space library | changeset | files |
| Wed, 31 May 2023 11:28:31 +0100 | paulson | NEWS: Announcing the metric space material | changeset | files |
| Wed, 31 May 2023 11:05:44 +0100 | paulson | merged | changeset | files |
| Tue, 30 May 2023 14:24:09 +0100 | paulson | Hiding the constructor names, particularly to avoid conflicts involving "ext" | changeset | files |