src/HOL/GCD.thy
changeset 55990 41c6b99c5fb7
parent 54867 c21a2465cac1
child 56166 9a241bc276cd