src/HOL/Orderings.thy
changeset 30549 d2d7874648bd
parent 30528 7173bf123335
child 30722 623d4831c8cf