Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Dinner tomorrow evening

view this post on Zulip Email Gateway (Aug 22 2022 at 11:49):

From: "Thiemann, Rene" <Rene.Thiemann@uibk.ac.at>
Dear all,

we plan to have dinner at Weisses Roessl tomorrow evening with our guest Marc. If you want to join, please let me know until 11 in the morning.

Have a nice evening,
René

Last updated: Feb 01 2025 at 20:19 UTC