src/ZF/OrderArith.thy
changeset 49566 66cbf8bb4693
parent 46953 2b6e55924af3
child 58871 c399ae4b836f