src/HOL/LOrder.thy
changeset 18851 9502ce541f01
parent 17508 c84af7f39a6b
child 21213 c81f016883df