December 2010 Archives by thread

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

Starting: Mon Dec 20 14:06:52 CET 2010
Ending: Tue Dec 21 11:13:10 CET 2010
Messages: 2

• [Club2] Sledgehammer and Nitpick: Proofs and Refutations for Isabelle/HOL   Jasmin Christian Blanchette
• [Club2] Wed. Jan 12, 14:00: Florian Haftmann   Alexander Krauss

Last message date: Tue Dec 21 11:13:10 CET 2010
Archived on: Tue Dec 21 11:12:00 CET 2010

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