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