locales
authorpaulson
Fri Dec 04 10:40:06 1998 +0100 (1998-12-04)
changeset 6014bfd4923b0957
parent 6013 6da9ae6d40f5
child 6015 d1d5dd2f121c
locales
NEWS
     1.1 --- a/NEWS	Thu Dec 03 14:10:04 1998 +0100
     1.2 +++ b/NEWS	Fri Dec 04 10:40:06 1998 +0100
     1.3 @@ -9,6 +9,9 @@
     1.4  
     1.5  * HOL: Removed the obsolete syntax "Compl A"; use -A for set complement
     1.6  
     1.7 +*** General ***
     1.8 +
     1.9 +* in locales, the "assumes" and "defines" parts may be omitted if empty;
    1.10  
    1.11  *** Internal programming interfaces ***
    1.12