Def bitvec.slt

Modification history