Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-03-27 20:55:26 -0800 (Sun, 27 Mar 2005)
Revision: 7062
Log message:

      Preliminary research on making omegaT complete for universal fragment
      

Changes	Path
+77 -11	metaprl/theories/itt/itt_omega.ml
+3 -1	metaprl/theories/itt/itt_omega.mli