src/HOL/UNITY/ListOrder.thy
changeset 27208 5fe899199f85
parent 23767 7272a839ccd9
child 27682 25aceefd4786