| Mon, 13 Feb 2023 10:49:27 +0100 | wenzelm | more robust; | changeset | files |
| Mon, 13 Feb 2023 10:39:49 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 13 Feb 2023 10:17:30 +0100 | wenzelm | clarified modules; | changeset | files |
| Sun, 19 Feb 2023 09:55:37 +0000 | paulson | merged | changeset | files |
| Sat, 18 Feb 2023 22:54:15 +0000 | paulson | Tidied some really messy proofs | changeset | files |
| Sat, 18 Feb 2023 20:34:09 +0100 | desharna | added lemmas asymp_not_liftable_to_multpHO and asymp_multpHO | changeset | files |
| Sat, 18 Feb 2023 18:10:05 +0000 | paulson | Simplified a few proofs | changeset | files |