src/HOL/Int.thy
changeset 51474 1e9e68247ad1
parent 51329 4a3c453f99a1
child 51994 82cc2aeb7d13