Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-05-02 18:52:05 -0700 (Fri, 02 May 2003)
Revision: 4545
Log message:

      to reflect some module renaming
      

Changes	Path
+207 -239	metaprl/theories/itt/itt_cyclic_group.prla
+2 -2	metaprl/theories/itt/itt_quotient_group.ml
+2 -2	metaprl/theories/itt/itt_quotient_group.mli