Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-01-16 17:41:05 -0800 (Fri, 16 Jan 2004)
Revision: 5253
Log message:

      Uncommented the ring of even integers part.
      

Changes	Path
+2 -0	metaprl/theories/itt/OMakefile
+4 -4	metaprl/theories/itt/itt_field2.ml
+9 -14	metaprl/theories/itt/itt_ring2.ml
+3 -2	metaprl/theories/itt/itt_ring2.mli
+8999 -3779	metaprl/theories/itt/itt_ring2.prla