src/ZF/OrderArith.thy
changeset 66787 64b47495676d
parent 61980 6b780867d426
child 67443 3abf6a722518