src/HOL/Order_Relation.thy
changeset 57978 8f4a332500e4
parent 55173 5556470a02b7
child 58184 db1381d811ab