Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-02-02 00:36:23 -0800 (Wed, 02 Feb 2005)
Revision: 6564
Log message:

      fixed a small bug
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_nat.ml
+630 -620	metaprl/theories/itt/itt_nat.prla
+1304 -1085	metaprl/theories/itt/itt_poly.prla