Correction: On 8/11/07, I wrote: >... > This statement in the Axiom book should really say: > > "domains belong to *named* categories by assertions" > > This does apply to anonymous categories. >
I meant to write: This does *not* apply to anonymous categories. > ... Regards, Bill Page. _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
