Author: andrae Date: 2007-08-20 15:41:42 -0500 (Mon, 20 Aug 2007) New Revision: 357 Added: branches/arith-resolver/ Log: Will become the home for the ArithmaticResolver, which will double as a good Resolver example, and hopefully the basis for a paper. Copied: branches/arith-resolver (from rev 356, trunk)