On Saturday 27 November 2004, Leopold Toetsch wrote:
> + gt I0, I1, L1 => lt I1, I0, L1
> + isge I0, 100, I2 => isle I0, I2, 100
But a>=b (gt I0, I1) is equivalence to b<a (le I1, I0)
and not to b<=a (lt I1, I0)...? (The same for isge a, b <=> islt b, a)
jens