[isabelle-dev] Updated Event Invitation: Visit to TUM Garching
Florian Haftmann
florian at haftmann-online.de
Tue Apr 23 15:39:36 CEST 2019
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>
More information about the isabelle-dev
mailing list