src/HOL/Algebra/Zassenhaus.thy
10 months ago paulson 2018-06-14 reorganisation of Algebra: new material from Baillon and Vilhena, removal of duplicate names, elimination of "More_" theories
10 months ago paulson 2018-06-12 New material from Martin Baillon and Paulo Emílio de Vilhena