| Sat, 23 Jun 2007 19:33:22 +0200 | nipkow | tuned and renamed group_eq_simps and ring_eq_simps | file | diff | annotate |
| Thu, 07 Jun 2007 17:21:43 +0200 | obua | deleted comments | file | diff | annotate |
| Thu, 07 Jun 2007 14:26:05 +0200 | obua | deleted legacy lemmas | file | diff | annotate |
| Thu, 07 Jun 2007 11:25:27 +0200 | nipkow | somebody elses problem fixed | file | diff | annotate |
| Thu, 24 May 2007 22:55:53 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 14 May 2007 18:48:24 +0200 | huffman | move lemmas to RealPow.thy; tuned proofs | file | diff | annotate |
| Mon, 14 May 2007 17:45:42 +0200 | huffman | added general sum-squares lemmas | file | diff | annotate |
| Mon, 14 May 2007 09:33:18 +0200 | huffman | remove redundant lemmas | file | diff | annotate |
| Mon, 14 May 2007 08:15:13 +0200 | huffman | cleaned up | file | diff | annotate |
| Sun, 13 May 2007 09:23:27 +0200 | nipkow | Removed junk | file | diff | annotate |
| Tue, 10 Apr 2007 21:50:08 +0200 | huffman | removed unnecessary premise from power_le_imp_le_base | file | diff | annotate |
| Wed, 20 Sep 2006 07:42:12 +0200 | huffman | add header | file | diff | annotate |
| Tue, 12 Sep 2006 17:05:44 +0200 | huffman | simplify some proofs, remove obsolete realpow_divide | file | diff | annotate |
| Fri, 02 Jun 2006 23:22:29 +0200 | wenzelm | misc cleanup; | file | diff | annotate |
| Fri, 17 Mar 2006 10:04:27 +0100 | ballarin | Renamed setsum_mult to setsum_right_distrib. | file | diff | annotate |