decidable.v 9.66 KB