# HG changeset patch
# User paulson
# Date 909046638 -7200
# Node ID c669e2161b089f190ca80c6ad652a749834e7e5f
# Parent  458a67fd54611438255fd16f33e6b7af5f43c613
locales

diff -r 458a67fd5461 -r c669e2161b08 NEWS
--- a/NEWS	Wed Oct 21 17:57:02 1998 +0200
+++ b/NEWS	Thu Oct 22 10:57:18 1998 +0200
@@ -105,6 +105,9 @@
 * new top-level commands 'thm' and 'thms' for retrieving theorems from
 the current theory context, and 'theory' to lookup stored theories;
 
+* new theory section 'locale' for declaring constants, assumptions and
+definitions that have local scope;
+
 * new theory section 'nonterminals' for purely syntactic types;
 
 * new theory section 'setup' for generic ML setup functions