Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2006-01-06 17:55:10 -0800 (Fri, 06 Jan 2006)
Revision: 8417
Log message:

      Fixed the problem noticed by Aleksey - one-only-constraint case was treated incorrectly

Changes  Path
+22 -17 metaprl/theories/itt/core/itt_omega.ml
+4 -0 metaprl/theories/itt/tests/itt_int_test.ml
+2605 -2335 metaprl/theories/itt/tests/itt_int_test.prla