decidable.v 4.33 KB