[#213 No equality of operators which use dummy variables] fixed in patch 46 or so

[kratt6]

Changes 
http://wiki.axiom-developer.org/213NoEqualityOfOperatorsWhichUseDummyVariables/diff
--
Status: fix proposed => closed 

--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]