decidable.v 9.17 KB