Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-02-02 04:04:08 -0800 (Fri, 02 Feb 2001)
Revision: 3134
Log message:

      All rewrites derived from sq-rules are proved with sqeq2rwT now.
      

Changes	Path
+3062 -3232	metaprl/theories/itt/itt_int_base.prla