Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-02-02 23:53:34 -0800 (Mon, 02 Feb 2004)
Revision: 5337
Log message:

      Temporary solution for solve the incompleteness of rule "int_div_rem".
      

Changes	Path
+4 -0	metaprl/theories/itt/OMakefile
+6 -0	metaprl/theories/itt/itt_nat.ml
+506 -20961	metaprl/theories/itt/itt_nat.prla