| 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 |
| Fri, 17 Feb 2023 13:48:42 +0000 | paulson | Moved up a theorem | changeset | files |
| Thu, 16 Feb 2023 12:54:24 +0000 | paulson | Limit properties for complex exponential | changeset | files |
| Thu, 16 Feb 2023 12:21:21 +0000 | paulson | More of Eberl's contributions: memomorphic functions | changeset | files |
| Thu, 16 Feb 2023 10:42:39 +0000 | paulson | merged | changeset | files |
| Thu, 16 Feb 2023 10:42:28 +0000 | paulson | New material due to Eberl on Formal Laurent Series | changeset | files |
| Wed, 15 Feb 2023 12:48:53 +0000 | paulson | merged | changeset | files |
| Wed, 15 Feb 2023 12:46:12 +0000 | paulson | A bit more tidying and some new material | changeset | files |
| Wed, 15 Feb 2023 17:01:42 +0100 | blanchet | removed rarely used error in Sledgehammer | changeset | files |
| Wed, 15 Feb 2023 16:44:52 +0100 | nipkow | merged | changeset | files |
| Wed, 15 Feb 2023 10:39:14 +0100 | nipkow | tuned | changeset | files |
| Wed, 15 Feb 2023 10:56:23 +0100 | blanchet | added refute mode to Sledgehammer to find 'counterexamples' | changeset | files |
| Tue, 14 Feb 2023 09:36:35 +0100 | nipkow | merged | changeset | files |
| Tue, 14 Feb 2023 09:36:06 +0100 | nipkow | Map.map_of movement | changeset | files |
| Tue, 14 Feb 2023 08:10:17 +0100 | nipkow | removed Map from docu | changeset | files |
| Mon, 13 Feb 2023 16:07:41 +0100 | nipkow | move map_of to List | changeset | files |
| Mon, 13 Feb 2023 19:40:38 +0100 | blanchet | updated NEWS | changeset | files |
| Mon, 13 Feb 2023 15:01:58 +0100 | blanchet | careful eta-contraction in Metis to keep argument to All and Ex expanded | changeset | files |
| Sun, 12 Feb 2023 22:05:02 +0100 | wenzelm | merged | changeset | files |