Wed, 06 Mar 2002 17:54:43 +0100 |
wenzelm |
added two_is_prime;
|
file |
diff |
annotate
|
Sun, 13 Jan 2002 21:14:14 +0100 |
wenzelm |
prime_dvd_power_two;
|
file |
diff |
annotate
|
Mon, 26 Nov 2001 23:23:33 +0100 |
wenzelm |
gcd_dvd1 and gcd_dvd2 proven simultaneously;
|
file |
diff |
annotate
|
Fri, 05 Oct 2001 21:52:39 +0200 |
wenzelm |
sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
|
file |
diff |
annotate
|
Mon, 06 Aug 2001 13:43:24 +0200 |
nipkow |
turned translation for 1::nat into def.
|
file |
diff |
annotate
|
Wed, 13 Jun 2001 16:29:51 +0200 |
paulson |
New proof of gcd_zero after a change to Divides.ML made the old one fail
|
file |
diff |
annotate
|
Sat, 09 Jun 2001 14:22:08 +0200 |
wenzelm |
tuned
|
file |
diff |
annotate
|
Sat, 09 Jun 2001 14:18:19 +0200 |
wenzelm |
tuned Primes theory;
|
file |
diff |
annotate
|
Sat, 09 Jun 2001 08:41:25 +0200 |
paulson |
moved Primes.thy from NumberTheory to Library
|
file |
diff |
annotate
|