src/HOL/Orderings.thy
changeset 30313 b2441b0c8d38
parent 30107 f3b3b0e3d184
child 30298 abefe1dfadbb