src/HOL/Num.thy
changeset 56085 3d11892ea537
parent 55974 c835a9379026
child 57512 cc97b347b301
equal deleted inserted replaced
56084:75c154e9f650 56085:3d11892ea537