Address

[Tobias Nipkow]

Dear readers of this list,

Please note that starting with the new year, the only valid address for this 
list is the above one (which most of you will use anyway). Addresses like 
informatik.tu-muenchen.de no longer work because TUM has switched them off.

Tobias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5187 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20250107/aee37019/attachment.bin>