From: kim Date: Wed, 20 May 2009 06:38:56 +0000 (+0000) Subject: Added correct decision procedure X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=9728f46b5f256250a4451c0a9bda30ce81be5b8b;hp=9728f46b5f256250a4451c0a9bda30ce81be5b8b;p=SXSI%2Fxpathcomp.git Added correct decision procedure git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@407 3cdefd35-fc62-479d-8e8d-bae585ffb9ca ---