>> But actually, why do >> you see a problem with >> >> =: (%, %) -> Boolean >> =: (%, %) -> Equation % >> >> ? > > Try > > 1 = 1
Try (1=1)@Boolean Ralf ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
