Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-13 02:05:56 -0700 (Mon, 13 May 2002)
Revision: 3631
Log message:

      Updated the "pair_eq" rule to make it more powerful.
      

Changes	Path
+8 -0	metaprl/theories/czf/czf_itt_equiv.ml
+2238 -2021	metaprl/theories/czf/czf_itt_equiv.prla