decidable.v 9.29 KB