Changes http://wiki.axiom-developer.org/348EqualityInAny/diff --
??changed:
\begin{axiom}
-p: SMP(Integer, Symbol) := x^2;
-q: SMP(Integer, Symbol) := x^2;
-test(p::ANY=p::ANY)
+p: Set ANY := set [1,2];
+q: Set ANY := set [2,1];
+test(p=q)
test(p::ANY=q::ANY)
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
