src/HOL/Num.thy
changeset 56085 3d11892ea537
parent 55974 c835a9379026
child 57512 cc97b347b301