| changeset 16908 | d374530bfaaa |
| parent 16891 | 20bd6e8c9a4f |
| child 16929 | b23c54fd31f7 |
--- a/NEWS Mon Jul 25 15:51:30 2005 +0200 +++ b/NEWS Mon Jul 25 18:54:49 2005 +0200 @@ -389,6 +389,12 @@ * Theory RComplete: expanded support for floor and ceiling functions. +*** HOL-Library *** + +* Theories SetsAndFunctions and BigO support asymptotic "big O" calculations. +See the notes in BigO.thy. + + *** HOLCF *** * HOLCF: discontinued special version of 'constdefs' (which used to