src/HOL/Analysis/Infinite_Products.thy
5 months ago wenzelm 2019-01-01 retain important whitespace after 'text' that is suppressed, but swallows adjacent whitespace;
5 months ago nipkow 2018-12-29 capitalize proper names in lemma names
11 months ago Manuel Eberl 2018-07-17 tagged
11 months ago paulson 2018-07-11 de-applying (mostly Quotient)
11 months ago paulson 2018-07-04 infinite products: the final piece
11 months ago paulson 2018-07-03 more on infinite products
11 months ago paulson 2018-06-28 Generalising and renaming some basic results
11 months ago paulson 2018-06-26 a few new lemmas
12 months ago paulson 2018-06-15 more on infinite products. Also subgroup_imp_subset -> subgroup.subset
12 months ago paulson 2018-06-11 fixed a name clash
12 months ago paulson 2018-06-11 the last of the infinite product proofs
12 months ago paulson 2018-06-03 infinite product material
13 months ago paulson 2018-05-10 auto-tidying
13 months ago paulson 2018-05-10 more on infinite products
13 months ago paulson 2018-05-09 more infinite product theorems
13 months ago paulson 2018-05-03 tidied up Infinite_Products
13 months ago paulson 2018-05-03 a lemma about infinite products
13 months ago paulson 2018-05-02 type class generalisations; some work on infinite products
23 months ago eberlm 2017-07-15 HOL-Analysis: Infinite products