src/HOL/Integ/Int.thy
changeset 13049 ce180e5b7fa0
parent 11868 56db9f3a6b3e
child 13575 ecb6ecd9af13