oheimb [Tue, 12 Jun 2001 14:11:00 +0200] rev 11372
corrected xsymbol/HTML syntax
berghofe [Mon, 11 Jun 2001 19:21:13 +0200] rev 11371
Fixed bug in function rebuild.
paulson [Sun, 10 Jun 2001 08:03:35 +0200] rev 11370
new GroupTheory example, e.g. the Sylow theorem (preliminary version)
wenzelm [Sat, 09 Jun 2001 14:22:08 +0200] rev 11369
tuned
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