src/HOL/UNITY/Constrains.thy
changeset 27208 5fe899199f85
parent 23767 7272a839ccd9
child 32960 69916a850301