changeset 44081 | 730f7cced3a6 |
parent 44027 | d01b3f045111 |
child 44086 | c0847967a25a |
--- a/NEWS Mon Aug 08 18:36:32 2011 -0700 +++ b/NEWS Mon Aug 08 19:26:53 2011 -0700 @@ -170,6 +170,9 @@ Every theorem name containing "inat", "Fin", "Infty", or "iSuc" has been renamed accordingly. +* Limits.thy: Type "'a net" has been renamed to "'a filter", in +accordance with standard mathematical terminology. INCOMPATIBILITY. + *** Document preparation ***