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 |