src/HOL/Int.thy
changeset 67022 49309fe530fd
parent 66912 a99a7cbf0fb5
child 67116 7397a6df81d8