Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-01-29 02:18:31 -0800 (Thu, 29 Jan 2004)
Revision: 5315
Log message:

      Changed file names to conform to the naming convention.
      

Changes	Path
+4 -4	metaprl/theories/itt/Makefile
+8 -8	metaprl/theories/itt/OMakefile
Deleted	metaprl/theories/itt/itt_fieldE.ml
Deleted	metaprl/theories/itt/itt_fieldE.mli
Deleted	metaprl/theories/itt/itt_fieldE.prla
Added	metaprl/theories/itt/itt_field_e.ml
Properties	metaprl/theories/itt/itt_field_e.ml
Added	metaprl/theories/itt/itt_field_e.mli
Properties	metaprl/theories/itt/itt_field_e.mli
Added	metaprl/theories/itt/itt_field_e.prla
Properties	metaprl/theories/itt/itt_field_e.prla
Deleted	metaprl/theories/itt/itt_intdomainE.ml
Deleted	metaprl/theories/itt/itt_intdomainE.mli
Deleted	metaprl/theories/itt/itt_intdomainE.prla
Added	metaprl/theories/itt/itt_intdomain_e.ml
Properties	metaprl/theories/itt/itt_intdomain_e.ml
Added	metaprl/theories/itt/itt_intdomain_e.mli
Properties	metaprl/theories/itt/itt_intdomain_e.mli
Added	metaprl/theories/itt/itt_intdomain_e.prla
Properties	metaprl/theories/itt/itt_intdomain_e.prla
+176 -169	metaprl/theories/itt/itt_poly.prla
Deleted	metaprl/theories/itt/itt_ringE.ml
Deleted	metaprl/theories/itt/itt_ringE.mli
Deleted	metaprl/theories/itt/itt_ringE.prla
Added	metaprl/theories/itt/itt_ring_e.ml
Properties	metaprl/theories/itt/itt_ring_e.ml
Added	metaprl/theories/itt/itt_ring_e.mli
Properties	metaprl/theories/itt/itt_ring_e.mli
Added	metaprl/theories/itt/itt_ring_e.prla
Properties	metaprl/theories/itt/itt_ring_e.prla
Added	metaprl/theories/itt/itt_ring_uce.ml
Properties	metaprl/theories/itt/itt_ring_uce.ml
Added	metaprl/theories/itt/itt_ring_uce.mli
Properties	metaprl/theories/itt/itt_ring_uce.mli
Added	metaprl/theories/itt/itt_ring_uce.prla
Properties	metaprl/theories/itt/itt_ring_uce.prla
Deleted	metaprl/theories/itt/itt_unitringCE.ml
Deleted	metaprl/theories/itt/itt_unitringCE.mli
Deleted	metaprl/theories/itt/itt_unitringCE.prla