Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-16 00:48:39 -0700 (Thu, 16 May 2002)
Revision: 3647
Log message:

      Forgot these in the last commit.
      

Changes	Path
+35 -39	metaprl/theories/czf/czf_itt_comment.ml
+12 -10	metaprl/theories/czf/czf_itt_comment.mli
+773 -826	metaprl/theories/czf/czf_itt_comment.prla