Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-12-02 00:22:28 -0800 (Thu, 02 Dec 2004)
Revision: 6306
Log message:

      fixed
      

Changes	Path
+233 -121	metaprl/theories/itt/itt_reflection.ml
+27 -5	metaprl/theories/itt/itt_reflection.mli
+5508 -2627	metaprl/theories/itt/itt_reflection.prla