Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-13 15:52:10 -0700 (Mon, 13 May 2002)
Revision: 3636
Log message:

      Added comments.
      

Changes	Path
+28 -0	metaprl/theories/czf/czf_itt_comment.ml
+8 -0	metaprl/theories/czf/czf_itt_comment.mli
+664 -389	metaprl/theories/czf/czf_itt_comment.prla
+152 -28	metaprl/theories/czf/czf_itt_kleingroup.ml
+54 -5	metaprl/theories/czf/czf_itt_kleingroup.mli
+4491 -1324	metaprl/theories/czf/czf_itt_kleingroup.prla