src/HOL/Integ/Int.thy
changeset 14377 f454b3004f8f
parent 14365 3d4df8c166ae