Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-21 01:31:14 -0700 (Wed, 21 Apr 2004)
Revision: 5685
Log message:

      Small step towards making the resource annotations on itt_group rules
      a bit saner.
      

Changes  Path
+6068 -12991 metaprl/theories/itt/itt_cyclic_group.prla
+3 -3 metaprl/theories/itt/itt_group.ml
+7723 -7692 metaprl/theories/itt/itt_group.prla
+4002 -11794 metaprl/theories/itt/itt_quotient_group.prla