Email Gateway (May 25 2024 at 17:24): Email Gateway (May 25 2024 at 17:24):From: SYMPA <sympa@lists.cam.ac.uk>
Messages from list cl-isabelle-users that were sent to your address
isabelle-users-mailing-list-zulip-bot@modernproofs.org have generated non-
delivery reports since 12 May 2024.
If this problem persists, you will be automatically unsubscribed from the
list.
You can contact list owner: cl-isabelle-users-request@lists.cam.ac.uk
Email Gateway (Jun 01 2024 at 18:08):From: SYMPA <sympa@lists.cam.ac.uk>
Messages from list cl-isabelle-users that were sent to your address
isabelle-users-mailing-list-zulip-bot@modernproofs.org have generated non-
delivery reports since 12 May 2024.
If this problem persists, you will be automatically unsubscribed from the
list.
You can contact list owner: cl-isabelle-users-request@lists.cam.ac.uk
Last updated: Jan 04 2025 at 20:18 UTC