Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-15 18:34:01 -0800 (Tue, 15 Feb 2005)
Revision: 6679
Log message:

      Forgot positivity condition in one rule.
      

Changes	Path
+5 -3	metaprl/theories/itt/itt_omega.ml