| Tue, 17 Jul 2018 12:23:37 +0200 | Manuel Eberl | tagged | file | diff | annotate |
| Wed, 11 Jul 2018 23:24:25 +0100 | paulson | de-applying (mostly Quotient) | file | diff | annotate |
| Wed, 04 Jul 2018 11:00:06 +0100 | paulson | infinite products: the final piece | file | diff | annotate |
| Tue, 03 Jul 2018 14:46:14 +0100 | paulson | more on infinite products | file | diff | annotate |
| Thu, 28 Jun 2018 14:13:57 +0100 | paulson | Generalising and renaming some basic results | file | diff | annotate |
| Tue, 26 Jun 2018 20:48:49 +0100 | paulson | a few new lemmas | file | diff | annotate |
| Fri, 15 Jun 2018 12:18:06 +0100 | paulson | more on infinite products. Also subgroup_imp_subset -> subgroup.subset | file | diff | annotate |
| Mon, 11 Jun 2018 16:23:21 +0100 | paulson | fixed a name clash | file | diff | annotate |
| Mon, 11 Jun 2018 14:34:17 +0100 | paulson | the last of the infinite product proofs | file | diff | annotate |
| Sun, 03 Jun 2018 15:22:30 +0100 | paulson | infinite product material | file | diff | annotate |
| Thu, 10 May 2018 15:59:39 +0100 | paulson | auto-tidying | file | diff | annotate |
| Thu, 10 May 2018 15:41:34 +0100 | paulson | more on infinite products | file | diff | annotate |
| Wed, 09 May 2018 14:07:19 +0100 | paulson | more infinite product theorems | file | diff | annotate |
| Thu, 03 May 2018 18:40:14 +0100 | paulson | tidied up Infinite_Products | file | diff | annotate |
| Thu, 03 May 2018 17:14:08 +0100 | paulson | a lemma about infinite products | file | diff | annotate |
| Wed, 02 May 2018 12:47:56 +0100 | paulson | type class generalisations; some work on infinite products | file | diff | annotate |
| Sat, 15 Jul 2017 14:33:56 +0100 | eberlm | HOL-Analysis: Infinite products | file | diff | annotate |