src/ZF/OrderArith.thy
changeset 59149 0070053570c4
parent 58871 c399ae4b836f
child 60770 240563fbf41d