July 2015 Archives by thread

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

Starting: Wed Jul 1 12:07:05 CEST 2015
Ending: Thu Jul 16 12:08:30 CEST 2015
Messages: 2

• [Club2] Invitation: Nonprimitive Corecursion in Isabelle/HOL @ Thu Jul 16, 2015 14:00 - 15:00 (Club2)   julianbrunner at gmail.com
  • [Club2] Reminder: Nonprimitive Corecursion in Isabelle/HOL @ Thu Jul 16, 2015 14:00 - 15:00 (Club2)   Dmitriy Traytel

Last message date: Thu Jul 16 12:08:30 CEST 2015
Archived on: Thu Jul 16 12:08:32 CEST 2015

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