Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-01-09 23:55:35 -0800 (Fri, 09 Jan 2004)
Revision: 5241
Log message:
Itt_bool - boolMoveToConcl moves from assert to assert.
Itt_order.mli - almost nothing was exposed
Itt_rat - first steps based on itt_field and itt_order.