src/HOL/Library/Function_Growth.thy
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