src/HOL/Library/Function_Growth.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-12-08 wenzelm 2014-12-08 tuned spelling;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-04-12 nipkow 2014-04-12 made mult_pos_pos a simp rule
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-03-26 wenzelm 2013-03-26 tuned imports;
2013-02-25 wenzelm 2013-02-25 fixed document;
2013-02-24 haftmann 2013-02-24 turned example into library for comparing growth of functions