May 2018 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Tue May 15 18:26:52 CEST 2018
Ending: Tue May 15 18:26:52 CEST 2018
Messages: 1

• [Club2] Invitation: Automatic Instantiation of Type Classes in Isabelle/HOL @ Wed Jun 6, 2018 14:00 - 14:45 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Tue May 15 18:26:52 CEST 2018
Archived on: Tue May 15 18:27:01 CEST 2018

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...