decidable.v 8.64 KB