src/HOL/Algebra/Zassenhaus.thy
13 months ago paulson 2018-06-18 corrections to markup
13 months ago paulson 2018-06-15 more on infinite products. Also subgroup_imp_subset -> subgroup.subset
13 months ago paulson 2018-06-14 reorganisation of Algebra: new material from Baillon and Vilhena, removal of duplicate names, elimination of "More_" theories
13 months ago paulson 2018-06-12 New material from Martin Baillon and Paulo Emílio de Vilhena