src/HOL/Algebra/Multiplicative_Group.thy
23 months ago haftmann 2017-08-24 more correct output syntax declaration
2017-04-06 haftmann 2017-04-06 more approproiate placement of theories MiscAlgebra and Multiplicate_Group