Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-02-05 12:51:44 -0800 (Tue, 05 Feb 2002)
Revision: 3493
Log message:

      Removed rule lt_Id and tactic lt_IdT since they are provable by tactic lt_AsymT
      in module "itt_int_base".
      

Changes	Path
+0 -7	metaprl/theories/czf/czf_itt_cyclic_subgroup.ml
+0 -5	metaprl/theories/czf/czf_itt_cyclic_subgroup.mli
+474 -630	metaprl/theories/czf/czf_itt_cyclic_subgroup.prla