Gaby, On Tue, Jan 6, 2009 at 2:20 AM, you wrote: > > This is a follow up to my previous patch, based on uses and > experiments with the parameterized SubDomain construct > added earlier. > ...
Thank you very much for your continuing work on improving the fundamental data types in open-axiom! Best Wishes for the New Year, Bill Page. ------------------------------------------------------------------------------ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
