src/HOL/GCD.thy
2005-07-08 nipkow 2005-07-08 Used to be in Library/Primes