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