decidable.v 9.82 KB