| 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 |