src/HOL/Multivariate_Analysis/PolyRoots.thy
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-07-05 haftmann 2014-07-05 prefer ac_simps collections over separate name bindings for add and mult
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2014-05-30 hoelzl 2014-05-30 introduce more powerful reindexing rules for big operators
2014-03-19 paulson 2014-03-19 New complex analysis material