wenzelm [Sat, 09 Jun 2001 14:18:19 +0200] rev 11368
tuned Primes theory;
paulson [Sat, 09 Jun 2001 08:44:04 +0200] rev 11367
addition of the GREATEST quantifier
paulson [Sat, 09 Jun 2001 08:43:38 +0200] rev 11366
renaming of evs in the Fake rule
paulson [Sat, 09 Jun 2001 08:42:29 +0200] rev 11365
new material from the Sylow proof
paulson [Sat, 09 Jun 2001 08:42:06 +0200] rev 11364
simplified a proof using new dvd rules
paulson [Sat, 09 Jun 2001 08:41:25 +0200] rev 11363
moved Primes.thy from NumberTheory to Library
nipkow [Fri, 08 Jun 2001 08:50:08 +0200] rev 11362
Removed BCV
nipkow [Tue, 05 Jun 2001 09:51:04 +0200] rev 11361
*** empty log message ***
nipkow [Tue, 05 Jun 2001 09:41:11 +0200] rev 11360
This is now superseded by MicroJava/BV
paulson [Fri, 01 Jun 2001 11:04:19 +0200] rev 11359
renamed # to ## to avoid clashing with List cons