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: Jan 07 2026 at 01:55 UTC