Bill, my knowledge of the English language doesn't let me make sense out of this sentences
Type is the category in Category consisting of all domains in Domain. on http://axiom-wiki.newsynthesis.org/[EMAIL PROTECTED] Could you make it simpler? Somehow I now have the impression that Aldor-Type and OpenAxiom-Type are different. That "Type" is a category in OpenAxiom would have never come to my mind in Aldor. Ralf ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
