src/HOL/Algebra/More_Group.thy
16 months ago paulson 2018-06-06 resolution of name clashes in Algebra
21 months ago nipkow 2018-01-05 Renamed (^) to [^] in preparation of the move from "op X" to (X)
2017-10-02 wenzelm 2017-10-02 misc tuning and modernization;
2017-04-06 haftmann 2017-04-06 more approproiate placement of theories MiscAlgebra and Multiplicate_Group