src/HOL/Algebra/More_Ring.thy
2017-10-02 wenzelm 2017-10-02 misc tuning and modernization;
2017-04-07 wenzelm 2017-04-07 tuned headers;
2017-04-06 haftmann 2017-04-06 more approproiate placement of theories MiscAlgebra and Multiplicate_Group