src/HOL/GCD.thy
changeset 47255 30a1692557b0
parent 45992 15d14fa805b2
child 48562 f6d6d58fa318