| Fri, 13 Jan 2023 22:47:40 +0000 | paulson | More cleaning up proofs, plus a TeX fix | changeset | files |
| Fri, 13 Jan 2023 16:44:00 +0000 | paulson | Fixed a broken proof | changeset | files |
| Fri, 13 Jan 2023 16:19:56 +0000 | paulson | Substantial simplification of HOL-Cardinals | changeset | files |
| Fri, 13 Jan 2023 11:05:48 +0000 | paulson | merged | changeset | files |
| Thu, 12 Jan 2023 17:12:36 +0000 | paulson | Trying to clean up HOL/Cardinals | changeset | files |
| Thu, 12 Jan 2023 15:46:44 +0100 | desharna | added session to mirabelle output directory structure | changeset | files |
| Wed, 11 Jan 2023 17:02:52 +0000 | paulson | More tidying of topology proofs | changeset | files |