src/HOL/Library/BigO.thy
2005-07-29 avigad 2005-07-29 fixed minor typo in comments
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