Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2006-02-27 13:54:38 -0800 (Mon, 27 Feb 2006)
Revision: 8792
Log message:

      The main subgoal of omegaT is completed by omegaT itself (it used to be deligated to autoT).
      it still uses simpleReduceC, Aleksey, do you want me to replace it with specific rewrites? 

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