Email Gateway (Jan 13 2022 at 16:37): Email Gateway (Jan 13 2022 at 16:37):From: cl-isabelle-users-request@lists.cam.ac.uk
Your membership in the mailing list Cl-isabelle-users has been
disabled due to excessive bounces The last bounce received from you
was dated 13-Jan-2022. You will not get any more messages from this
list until you re-enable your membership. You will receive 3 more
reminders like this before your membership in the list is deleted.
To re-enable your membership, you can simply respond to this message
(leaving the Subject: line intact), or visit the confirmation page at
https://lists.cam.ac.uk/mailman/confirm/cl-isabelle-users/5bb9a8bc1362296af2e30833c7903646401f5ad2
You can also visit your membership page at
On your membership page, you can change various delivery options such
as your email address and whether you get digests or not.
If you have any questions or problems, you can contact the list owner
at
cl-isabelle-users-owner@lists.cam.ac.uk
Last updated: Jul 15 2022 at 23:21 UTC