src/HOL/GCD.thy
changeset 30549 d2d7874648bd
parent 30242 aea5d7fa7ef5
child 30738 0842e906300c