1.1 --- a/NEWS	Sun Apr 17 19:40:43 2005 +0200
     1.2 +++ b/NEWS	Mon Apr 18 09:25:23 2005 +0200
     1.3 @@ -163,6 +163,7 @@
     1.4    do not occur in proof obligations, neither are instantiated theorems stored
     1.5    in duplicate.
     1.6    Use print_interps to inspect active interpretations of a particular locale.
     1.7 +  For details, see the Isar Reference manual.
     1.8  
     1.9  * Locales: proper static binding of attribute syntax -- i.e. types /
    1.10    terms / facts mentioned as arguments are always those of the locale