12 months ago paulson 2018-06-30 More on Algebra by Paulo and Martin
13 months ago paulson 2018-06-14 reorganisation of Algebra: new material from Baillon and Vilhena, removal of duplicate names, elimination of "More_" theories
14 months ago haftmann 2018-05-12 removed some non-essential rules
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
18 months ago nipkow 2018-01-05 Renamed (^) to [^] in preparation of the move from "op X" to (X)
18 months ago wenzelm 2017-12-29 prefer formal citations; more accurate bibtex entries;
19 months ago wenzelm 2017-12-19 isabelle update_cartouches -c -t;
20 months ago haftmann 2017-11-11 dedicated definition for coprimality
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