src/HOL/Multivariate_Analysis/PolyRoots.thy
2015-12-28 wenzelm 2015-12-28 more symbols;
2015-11-10 paulson 2015-11-10 Merge
2015-11-10 paulson 2015-11-10 Coercion "real" now has type nat => real only and is no longer overloaded. Type class "real_of" is gone. Many duplicate theorems removed.
2015-11-03 wenzelm 2015-11-03 tuned imports;
2015-06-10 wenzelm 2015-06-10 isabelle update_cartouches;
2015-03-31 haftmann 2015-03-31 given up separate type classes demanding `inverse 0 = 0`
2015-03-06 paulson 2015-03-06 A few new lemmas and a bit of tidying up
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