src/HOL/GCD.thy
changeset 62378 85ed00c1fe7c
parent 62353 7f927120b5a2
child 62429 25271ff79171