src/HOL/Int.thy
changeset 66831 29ea2b900a05
parent 66816 212a3334e7da
child 66836 4eb431c3f974