src/HOL/Library/Primes.thy
2002-01-13 wenzelm 2002-01-13 prime_dvd_power_two;
2001-11-26 wenzelm 2001-11-26 gcd_dvd1 and gcd_dvd2 proven simultaneously;
2001-10-05 wenzelm 2001-10-05 sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, "num" syntax (still with "#"), Numeral0, Numeral1;
2001-08-06 nipkow 2001-08-06 turned translation for 1::nat into def. introduced 1' and replaced most occurrences of 1 by 1'.
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