Stephen Wilson <[EMAIL PROTECTED]> writes: [...]
| However, I have seen is kind of code in both Spad and Aldor a fair | bit. I have always thought of `anonymous' category expressions | matching structurally as well as nominally. OK, I got the reference I was looking for: See on the discussion in the Axiom book on Correctness, section 12.8. -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
