src/HOL/Order_Relation.thy
changeset 66831 29ea2b900a05
parent 63952 354808e9f44b
child 68484 59793df7f853