[om] Proposed bug fix: deprecate Binding Object currying rule

[Michael Kohlhase]

Andreas,

> I believe now that there is actually only one solution to the problem I
> will describe below, and that is to deprecate entirely the two paragraphs
> in the OM Standard describing the Currying rule for OM Binding Objects.

good that you remembered this, I agree with David and you  that the
Currying clause should be deleted from the standard. 

Could you please make clear what exactly you are poposing to delete? 
If you say "the two  paragraphs", I frear that you are also throwing out
parts of the alpha-conversion stuff, which we need to keep in the
standard. Maybe you could just send around the proposed wording. 

     Michael


--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems