src/HOL/Library/Function_Growth.thy
2015-12-30 wenzelm 2015-12-30 isabelle update_cartouches -c -t;
2015-12-12 haftmann 2015-12-12 modernized
2015-12-11 haftmann 2015-12-11 modernized
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-11-04 ballarin 2015-11-04 Keyword 'rewrites' identifies rewrite morphisms.
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