src/HOL/Proofs/Extraction/QuotRem.thy
changeset 40419 718b44dbd74d
parent 39157 b98909faaea8
child 45170 7dd207fe7b6e
equal deleted inserted replaced
40418:8b73059e97a1 40419:718b44dbd74d