src/HOL/GCD.thy
changeset 19404 9bf2cdc9e8e8
parent 16759 668e72b1c4d7