August 2007 Archives by subject

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

Starting: Wed Aug 8 09:35:57 CEST 2007
Ending: Thu Aug 23 13:30:50 CEST 2007
Messages: 3

• [Om3] [Fwd: Definition of alpha conversion underspecified in OpenMath]   Michael Kohlhase
• [Om3] a few wishes for OM3 CD format   Paul Libbrecht
• [Om3] paper sources   jhd at cs.bath.ac.uk

Last message date: Thu Aug 23 13:30:50 CEST 2007
Archived on: Thu Aug 23 13:27:13 CEST 2007

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