src/HOL/Num.thy
changeset 51526 155263089e7b
parent 51143 0a2371e7ced3
child 52143 36ffe23b25f8