[Om3] [Fwd: Definition of alpha conversion underspecified in OpenMath]

[Michael Kohlhase]

Dear all,

my student Florian Rabe has alerted me to a problem in the OpenMath2 
standard. I think that we should at least fix this for OM3, maybe even 
issue an erratum for OM2.

What do you think?

Michael
-- 
----------------------------------------------------------------------
  Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62
  Professor of Computer Science     Campus Ring 12,
  School of Engineering & Science   D-28759 Bremen, Germany
  Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
  m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase
  skype: m.kohlhase   * International University Bremen until Feb. 2007
----------------------------------------------------------------------
-------------- next part --------------
An embedded message was scrubbed...
From: Florian Rabe <florian.rabe at web.de>
Subject: Definition of alpha conversion underspecified in OpenMath
Date: Wed, 25 Jul 2007 00:30:32 +0200
Size: 2791
Url: http://openmath.org/pipermail/om3/attachments/20070820/143034fa/attachment.eml