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