src/HOL/Library/Primes.thy
2001-06-13 paulson 2001-06-13 New proof of gcd_zero after a change to Divides.ML made the old one fail
2001-06-09 wenzelm 2001-06-09 tuned
2001-06-09 wenzelm 2001-06-09 tuned Primes theory;
2001-06-09 paulson 2001-06-09 moved Primes.thy from NumberTheory to Library