src/HOL/Algebra/Group_Action.thy
12 months ago paulson 2018-06-26 a few new lemmas
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