Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-22 16:14:36 -0700 (Fri, 22 Oct 2004)
Revision: 6249
Log message:

      (Bug 322) Itt_nat.nat2ge should not change the type from nat to int.
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_nat.ml
+174 -155	metaprl/theories/itt/itt_nat.prla