src/HOL/Order_Relation.thy
changeset 63915 bab633745c7f
parent 63572 c0cbfd2b5a45
child 63952 354808e9f44b