| 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 |