src/HOL/LOrder.thy
changeset 21512 3786eb1b69d6
parent 21380 c4f79922bc81
child 21733 131dd2a27137