Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-01-05 16:31:38 -0800 (Mon, 05 Jan 2004)
Revision: 5222
Log message:

      Changed according axioms to be primitive.
      

Changes	Path
+37 -66	metaprl/theories/czf/czf_itt_equiv.ml
+31 -55	metaprl/theories/czf/czf_itt_group.ml
+16 -40	metaprl/theories/czf/czf_itt_kleingroup.ml