Removed coq version dependency in ssreflect