src/HOL/ex/Cubic_Quartic.thy
2016-04-26 wenzelm 2016-04-26 misc tuning and modernization;
2016-02-23 nipkow 2016-02-23 more canonical names
2016-02-19 nipkow 2016-02-19 tuned
2016-01-20 wenzelm 2016-01-20 updated header;
2014-12-28 kleing 2014-12-28 3 old example lemmas by Amine listed in the top 100 theorems