Sat, 09 Jun 2001 14:22:08 +0200 | wenzelm | tuned | changeset | files |
Sat, 09 Jun 2001 14:18:19 +0200 | wenzelm | tuned Primes theory; | changeset | files |
Sat, 09 Jun 2001 08:44:04 +0200 | paulson | addition of the GREATEST quantifier | changeset | files |
Sat, 09 Jun 2001 08:43:38 +0200 | paulson | renaming of evs in the Fake rule | changeset | files |
Sat, 09 Jun 2001 08:42:29 +0200 | paulson | new material from the Sylow proof | changeset | files |
Sat, 09 Jun 2001 08:42:06 +0200 | paulson | simplified a proof using new dvd rules | changeset | files |
Sat, 09 Jun 2001 08:41:25 +0200 | paulson | moved Primes.thy from NumberTheory to Library | changeset | files |
Fri, 08 Jun 2001 08:50:08 +0200 | nipkow | Removed BCV | changeset | files |