src/ZF/IntDiv_ZF.thy
changeset 51085 d90218288d51
parent 46993 7371429c527d
child 51686 532e0ac5a66d
equal deleted inserted replaced
51084:cbae5c5ffd23 51085:d90218288d51