Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-09 00:51:43 -0700 (Wed, 09 Jun 2004)
Revision: 5866
Log message:

      Proved pairFormation from pairEquality.
      

Changes	Path
+14 -15	metaprl/theories/itt/itt_dprod.ml
+4288 -4326	metaprl/theories/itt/itt_dprod.prla