Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-01-05 17:21:08 -0800 (Mon, 05 Jan 2004)
Revision: 5223
Log message:

      Fixed the primitive rules with their computational contents.
      

Changes	Path
+25 -18	metaprl/theories/czf/czf_itt_equiv.ml
+29 -16	metaprl/theories/czf/czf_itt_group.ml
+5 -5	metaprl/theories/czf/czf_itt_kleingroup.ml