| 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 |
| Fri, 15 Jun 2007 15:10:32 +0200 | nipkow | made divide_self a simp rule | file | diff | annotate |
| Thu, 14 Jun 2007 18:33:31 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Wed, 06 Jun 2007 17:01:33 +0200 | huffman | generalize class constraints on some lemmas | file | diff | annotate |
| Mon, 04 Jun 2007 15:43:30 +0200 | haftmann | tuned comments | file | diff | annotate |
| Thu, 24 May 2007 08:37:39 +0200 | haftmann | rudimentary class target implementation | file | diff | annotate |