April 2009 Archives by thread

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

Starting: Tue Apr 7 08:14:24 CEST 2009
Ending: Mon Apr 27 13:30:54 CEST 2009
Messages: 3

• [Club2] Code Generation from Inductive Predicates in Isabelle/HOL   Florian Haftmann
• [Club2] Heute 14 Uhr im Turing: Mercurial Patch Queues   Alexander Krauss
• [Club2] Proving Real Valued Inequalities by Computation in Isabelle/HOL   Johannes Hoelzl

Last message date: Mon Apr 27 13:30:54 CEST 2009
Archived on: Mon Apr 27 13:31:10 CEST 2009

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