| Tue, 10 Jul 2007 17:30:45 +0200 | haftmann | moved some finite lemmas here | file | diff | annotate |
| Sat, 23 Jun 2007 19:33:22 +0200 | nipkow | tuned and renamed group_eq_simps and ring_eq_simps | file | diff | annotate |
| Sun, 17 Jun 2007 18:47:03 +0200 | nipkow | tuned laws for cancellation in divisions for fields. | file | diff | annotate |