Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-13 19:05:45 -0800 (Fri, 13 Jan 2006)
Revision: 8472
Log message:

      Minor optimization: use "n>0" instead of "not{n=0 in nat}" in conditional
      rewrites.