Thu, 04 May 2023 11:14:07 +0100 | paulson | merged | changeset | files |
Wed, 03 May 2023 11:20:03 +0100 | paulson | Two new theories containing material ported from HOL Light about abstract topology | changeset | files |
Thu, 04 May 2023 08:53:45 +1000 | nipkow | merged | changeset | files |
Thu, 04 May 2023 08:53:08 +1000 | nipkow | streamlined | changeset | files |
Wed, 03 May 2023 10:35:20 +0100 | paulson | merged | changeset | files |
Tue, 02 May 2023 15:17:39 +0100 | paulson | More new theorems, and a necessary correction | changeset | files |
Tue, 02 May 2023 12:51:05 +0100 | paulson | A few new theorems | changeset | files |