Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-10-30 14:05:55 -0700 (Sat, 30 Oct 2004)
Revision: 6255
Log message:

      Fixes for proofs broken by a change in Itt_nat.indEquality made yesterday.
      

Changes  Path
+551 -508 metaprl/theories/itt/itt_poly.prla