Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-07 23:17:37 -0800 (Sun, 07 Dec 2003)
Revision: 5165
Log message:

      Some kind of problem fixed.
      I don't see any other problem in check-status log (it easy to miss a problem in this log).
      

Changes	Path
+1268 -1984	metaprl/theories/czf/czf_itt_power.prla