Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-03-03 18:43:45 -0800 (Mon, 03 Mar 2003)
Revision: 4154
Log message:

      I've moved "commutative" to "itt_grouplikeobj" and "itt_group".
      

Changes	Path
Deleted	metaprl/theories/itt/itt_abelian_group.ml
Deleted	metaprl/theories/itt/itt_abelian_group.mli
Deleted	metaprl/theories/itt/itt_abelian_group.prla