src/HOL/GCD.thy
changeset 58306 117ba6cbe414
parent 57514 bdc2c6b40bf2
child 58623 2db1df2c8467