src/ZF/IntDiv_ZF.thy
changeset 40800 330eb65c9469
parent 32960 69916a850301
child 45602 2a858377c3d2
equal deleted inserted replaced
40799:d44c87988a24 40800:330eb65c9469