src/HOL/Orderings.thy
changeset 51526 155263089e7b
parent 51487 f4bfdee99304
child 51546 2e26df807dc7