[isabelle-dev] Event Canceled: Visit to TUM Garching

Florian Haftmann florian at haftmann-online.de
Tue Apr 23 15:41:06 CEST 2019


Florian Haftmann <florian at haftmann-online.de> has canceled this event: Visit to TUM Garching

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


More information about the isabelle-dev mailing list