Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-04-29 11:21:53 -0700 (Thu, 29 Apr 1999)
Revision: 2645
Log message:

      dT: thin after eliminating independant product from a hypothesis.
      

Changes	Path
+4 -1	metaprl/theories/itt/itt_prod.ml