src/HOL/UNITY/ListOrder.thy
changeset 54257 5c7a3b6b05a9
parent 46911 6d2a2f0e904e
child 58889 5b7a9633cfa8