Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-20 23:42:53 -0800 (Sun, 20 Feb 2005)
Revision: 6730
Log message:

      itt_int_bench3 time drop from 100 to 69 seconds.
      omega core time dropped to 12 seconds, i.e. virtually same perfromance as
      omega in coq.
      

Changes	Path
+2 -2	metaprl/theories/itt/itt_omega.ml