[isabelle-dev] Updated Event Invitation: Visit to TUM Garching

[Florian Haftmann]

Florian Haftmann <florian at haftmann-online.de> has invited you to Visit to TUM Garching

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 565 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20190423/a0486666/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 565 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20190423/a0486666/attachment.bin>