| Tue, 06 Jun 2023 14:19:53 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 06 Jun 2023 11:33:38 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 06 Jun 2023 11:26:59 +0200 | wenzelm | tuned signature: more operations; | changeset | files |
| Tue, 06 Jun 2023 11:07:49 +0200 | wenzelm | minor performance tuning: avoid append to end-of-list; | changeset | files |
| 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 |