src/HOL/Library/Discrete.thy
2015-12-11 haftmann 2015-12-11 modernized
2015-09-04 wenzelm 2015-09-04 modernized name space management -- more uniform qualification;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-01-11 wenzelm 2015-01-11 tuned -- more Sidekick-friendly layout;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-26 haftmann 2014-10-26 eliminated redundancies; more simp rules
2014-07-05 haftmann 2014-07-05 prefer ac_simps collections over separate name bindings for add and mult
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-02-24 haftmann 2013-02-24 turned example into library for comparing growth of functions
2013-02-17 haftmann 2013-02-17 fundamentals about discrete logarithm and square root