XOver1.casl revision eda8ef236cd903ce0f32052604fad35023f5d9d2
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettsorts t1, t2, t3
e071fb22ea9923a2a4ff41184d80ca46b55ee932Till Mossakowskisort t4, t3 < u2
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettop a:t4; a: t2; a: t3