src/HOL/Library/SetsAndFunctions.thy
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-09-13 krauss 2006-09-13 Major update to function package, including new syntax and the (only theoretical) ability to handle local contexts.
2006-05-27 wenzelm 2006-05-27 tuned;
2006-05-16 wenzelm 2006-05-16 tuned concrete syntax -- abbreviation/const_syntax;
2006-04-09 wenzelm 2006-04-09 tuned syntax/abbreviations;
2005-08-28 wenzelm 2005-08-28 tuned some proofs;
2005-07-28 wenzelm 2005-07-28 proper header;
2005-07-25 avigad 2005-07-25 Added two new theories to HOL/Library: SetsAndFunctions.thy and BigO.thy