| Wed, 07 Sep 2011 08:13:38 +0200 | haftmann | merged | changeset | files |
| Tue, 06 Sep 2011 22:37:32 +0200 | haftmann | merged | changeset | files |
| Tue, 06 Sep 2011 22:04:14 +0200 | haftmann | merged | changeset | files |
| Tue, 06 Sep 2011 07:23:45 +0200 | haftmann | merged | changeset | files |
| Mon, 05 Sep 2011 22:02:32 +0200 | haftmann | tuned | changeset | files |
| Mon, 05 Sep 2011 19:18:38 +0200 | haftmann | merged | changeset | files |
| Mon, 05 Sep 2011 07:49:31 +0200 | haftmann | tuned | changeset | files |
| Sun, 04 Sep 2011 09:28:15 +0200 | haftmann | tuned | changeset | files |
| Thu, 08 Sep 2011 09:25:55 +0200 | blanchet | fixed computation of "in_conj" for polymorphic encodings | changeset | files |
| Wed, 07 Sep 2011 22:44:26 -0700 | huffman | add some new lemmas about cis and rcis; | changeset | files |
| Wed, 07 Sep 2011 20:44:39 -0700 | huffman | Complex.thy: move theorems into appropriate subsections | changeset | files |
| Wed, 07 Sep 2011 19:24:28 -0700 | huffman | merged | changeset | files |
| Wed, 07 Sep 2011 17:41:29 -0700 | huffman | remove redundant lemma complex_of_real_minus_one | changeset | files |
| Wed, 07 Sep 2011 18:47:55 -0700 | huffman | simplify proof of lemma DeMoivre, removing unnecessary intermediate lemma | changeset | files |