Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-06 16:13:39 -0800 (Fri, 06 Feb 2004)
Revision: 5343
Log message:
1.arith - Aleksey's suggestions implemented but not really used yet.
2.supinf - some theory-independent parts moved outside.
3.term_order - comparison of terms moved outside of itt_int_arith,
comparison of bound-terms implemented in correct way (hopefully).