decidable.v 5.54 KB