Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-02-07 15:19:33 -0800 (Thu, 07 Feb 2002)
Revision: 3494
Log message:

      Removed tactics "op_assoc1T", "op_assoc2T" (previously as comments),
      and "id_elim2T".
      

Changes	Path
+7 -9	metaprl/theories/czf/czf_itt_group.ml
+0 -1	metaprl/theories/czf/czf_itt_group.mli
+839 -914	metaprl/theories/czf/czf_itt_group.prla