src/HOL/ex/Functions.thy
2016-04-28 wenzelm 2016-04-28 tuned;
2016-04-18 wenzelm 2016-04-18 proper LaTeX;
2016-04-17 wenzelm 2016-04-17 misc tuning and modernization;