src/HOL/ex/Coherent.thy
changeset 30313 b2441b0c8d38
parent 28323 8f12f7275637
child 32734 06c13b2e562e