Changes http://page.axiom-developer.org/zope/mathaction/SandboxFunctionalAddition/diff --
??changed: - with addit: (A->B, A->B, A) -> B == with funcAdd: (A->B, A->B, A) -> B == -- forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED] _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
