src/HOL/Order_Relation.thy
changeset 66010 2f7d39285a1a
parent 63952 354808e9f44b
child 68484 59793df7f853