Bill Page <bill.p...@newsynthesis.org> writes: [...]
| In contrast in OpenAxiom there is a default definition of 'before?' in | SetCatagory. | | before?(x,y) == GGREATERP(y,x)$Foreign(Builtin) | | which is overridden in some domains. In particular "before?" agrees with "<" for all domains that satisfy OrderedSet. -- Gaby ------------------------------------------------------------------------------ Come build with us! The BlackBerry® Developer Conference in SF, CA is the only developer event you need to attend this year. Jumpstart your developing skills, take BlackBerry mobile applications to market and stay ahead of the curve. Join us from November 9-12, 2009. Register now! http://p.sf.net/sfu/devconf _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
