decidable.v 8.26 KB