| Sun, 24 Jun 2007 20:18:20 +0200 | nipkow | *** empty log message *** | changeset | files |
| Sun, 24 Jun 2007 15:17:54 +0200 | nipkow | new lemmas | changeset | files |
| Sun, 24 Jun 2007 10:33:49 +0200 | nipkow | *** empty log message *** | changeset | files |
| Sat, 23 Jun 2007 19:33:22 +0200 | nipkow | tuned and renamed group_eq_simps and ring_eq_simps | changeset | files |
| Fri, 22 Jun 2007 22:41:17 +0200 | huffman | fix looping simp rule | changeset | files |
| Fri, 22 Jun 2007 20:19:39 +0200 | huffman | reinstate real_root_less_iff [simp] | changeset | files |
| Fri, 22 Jun 2007 16:16:23 +0200 | chaieb | merge is now identity | changeset | files |
| Fri, 22 Jun 2007 10:23:37 +0200 | krauss | new method "elim_to_cases" provides ad-hoc conversion of obtain-style | changeset | files |
| Thu, 21 Jun 2007 23:49:26 +0200 | huffman | section headings | changeset | files |
| Thu, 21 Jun 2007 23:33:10 +0200 | huffman | add thm antiquotations | changeset | files |
| Thu, 21 Jun 2007 23:28:44 +0200 | huffman | spelling | changeset | files |
| Thu, 21 Jun 2007 22:52:22 +0200 | huffman | add thm antiquotations | changeset | files |