September 2011 Archives by thread

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

Starting: Wed Sep 28 18:35:41 CEST 2011
Ending: Wed Sep 28 18:35:41 CEST 2011
Messages: 1

• [Matita] ITP 2012: Call for workshop proposals   Lennart Beringer

Last message date: Wed Sep 28 18:35:41 CEST 2011
Archived on: Sat Oct 15 13:00:10 CEST 2011

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