src/ZF/OrderArith.thy
changeset 67131 85d10959c2e4
parent 61980 6b780867d426
child 67443 3abf6a722518