Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-01-14 00:08:17 -0800 (Wed, 14 Jan 2004)
Revision: 5250
Log message:

      Field implementation.
      

Changes	Path
+1 -0	metaprl/theories/itt/Makefile
+1 -0	metaprl/theories/itt/OMakefile
Added	metaprl/theories/itt/itt_field2.ml
Properties	metaprl/theories/itt/itt_field2.ml
Added	metaprl/theories/itt/itt_field2.mli
Properties	metaprl/theories/itt/itt_field2.mli
Added	metaprl/theories/itt/itt_field2.prla
Properties	metaprl/theories/itt/itt_field2.prla
+34 -3	metaprl/theories/itt/itt_group.ml
+4 -0	metaprl/theories/itt/itt_group.mli
+8470 -7877	metaprl/theories/itt/itt_group.prla
+31 -5	metaprl/theories/itt/itt_ring2.ml
+5822 -5319	metaprl/theories/itt/itt_ring2.prla