Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2005-02-17 06:00:05 -0800 (Thu, 17 Feb 2005) Revision: 6710 Log message:
Proved a few rules as needed to make itt_nat fully grounded.