decidable.v 9.02 KB