decidable.v 5.94 KB