December 2015 Archives by author

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

Starting: Thu Dec 10 14:24:21 CET 2015
Ending: Thu Dec 10 14:24:21 CET 2015
Messages: 1

• [Club2] Updated Invitation: Proof Automation Tool for Isabelle/HOL @ Fri Dec 18, 2015 11:45 - 12:30 (Club2)   julianbrunner at gmail.com

Last message date: Thu Dec 10 14:24:21 CET 2015
Archived on: Thu Dec 10 14:24:32 CET 2015

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