Sat, 06 May 2023 11:10:23 +0100 | paulson | new material ported from HOL Light's metric.ml | changeset | files |
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 |