Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-01-09 18:27:48 -0800 (Thu, 09 Jan 2003)
Revision: 3986
Log message:

      Added math form def. for cycg.
      

Changes  Path
+19 -0 metaprl/theories/czf/czf_itt_comment.ml
+5 -0 metaprl/theories/czf/czf_itt_comment.mli