Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-03-03 21:56:02 -0800 (Mon, 03 Mar 2003)
Revision: 4155
Log message:

      - Redefined "csemigroup", "cmonoid", and "abelg" following Alexei's advice.
      - Reproved corresponding rules.
      - Removed the intro resources.
      

Changes	Path
+4 -0	metaprl/theories/itt/itt_cyclic_group.ml
+496 -265	metaprl/theories/itt/itt_cyclic_group.prla
+5 -10	metaprl/theories/itt/itt_group.ml
+0 -1	metaprl/theories/itt/itt_group.mli
+3522 -3851	metaprl/theories/itt/itt_group.prla
+15 -23	metaprl/theories/itt/itt_grouplikeobj.ml
+0 -2	metaprl/theories/itt/itt_grouplikeobj.mli
+2273 -2866	metaprl/theories/itt/itt_grouplikeobj.prla