December 2011 Archives by date

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

Starting: Wed Dec 14 00:50:49 UTC 2011
Ending: Wed Dec 14 00:50:49 UTC 2011
Messages: 1

• [metis-users] TPTP equalish predicate   Joe Hurd

Last message date: Wed Dec 14 00:50:49 UTC 2011
Archived on: Wed Dec 14 00:50:57 UTC 2011

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