Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-12 23:27:32 -0800 (Sat, 12 Feb 2005)
Revision: 6666
Log message:

      Changed places where terms (polynoms) have to be normalized.
      Merged/specialized a couple of rules
      
      This resulted in reduction of time spent in expand() for itt_int_bench/test6
      (from 100 to 50 seconds)
      
      But on the other hand, time to expand simpler problems (itt_int_test)
      gradually doubled with last days changes in Omega
      

Changes	Path
+26 -9	metaprl/theories/itt/itt_omega.ml