src/HOL/Old_Number_Theory/Int2.thy
changeset 45231 d85a2fdc586c
parent 44766 d4d33a4d7548
child 57512 cc97b347b301