Mon, 07 Jun 1999 21:22:18 +0200 wenzelm reset HOL_quantifiers by default;
Mon, 07 Jun 1999 19:25:12 +0200 nipkow Added lots of 'replicate' lemmas.
Sat, 05 Jun 1999 21:43:02 +0200 wenzelm groups as monoids;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip