src/ZF/OrderArith.thy
changeset 66061 880db47fed30
parent 61980 6b780867d426
child 67443 3abf6a722518
equal deleted inserted replaced
66060:b2bfbefd354f 66061:880db47fed30