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