Stephen Wilson <[EMAIL PROTECTED]> writes:
> In other words, an anonymous category can capture both a nominal
> assertion (the named categories on the lhs), and a structural
> assertion (the lhs exports). For example:
^^^^^^^^^^^^^^^Sorry. That should be `the rhs exports'. Steve _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
