November 2006 Archives by thread

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

Starting: Wed Nov 8 10:31:15 CEST 2006
Ending: Sat Nov 11 14:06:39 CEST 2006
Messages: 2

• [Termtools] RE: [color] Certification of polynomial interpretation proofs evaluated on TPDB. (fwd)   Frederic Blanqui
• [Termtools] Automation   Xavier Urbain

Last message date: Sat Nov 11 14:06:39 CEST 2006
Archived on: Mon Nov 13 09:35:50 CEST 2006

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