src/HOL/Algebra/Multiplicative_Group.thy
12 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 haftmann 2018-05-12 removed some non-essential rules
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
17 months ago nipkow 2018-01-05 Renamed (^) to [^] in preparation of the move from "op X" to (X)
17 months ago wenzelm 2017-12-29 prefer formal citations; more accurate bibtex entries;
18 months ago wenzelm 2017-12-19 isabelle update_cartouches -c -t;
19 months ago haftmann 2017-11-11 dedicated definition for coprimality
22 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