# HG changeset patch
# User wenzelm
# Date 1025618061 -7200
# Node ID 306ef3aef61bdb326390693b4449bcc8f0ed16a4
# Parent  8a722689a1c96f92a57fe359831ba6e885cb2d22
* improved thms_containing: proper indexing of facts instead of raw
theorems; check validity of results wrt. current name space; include
local facts of proof configuration (also covers active locales);

diff -r 8a722689a1c9 -r 306ef3aef61b NEWS
--- a/NEWS	Tue Jul 02 15:45:55 2002 +0200
+++ b/NEWS	Tue Jul 02 15:54:21 2002 +0200
@@ -1,6 +1,17 @@
+
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle release
+----------------------------
+
+*** General ***
+
+* improved thms_containing: proper indexing of facts instead of raw
+theorems; check validity of results wrt. current name space; include
+local facts of proof configuration (also covers active locales);
+
+
 *** HOL ***
 
 * arith(_tac) does now know about div k and mod k where k is a numeral of
@@ -10,6 +21,8 @@
 * simp's arithmetic capabilities have been enhanced a bit:
   it now takes ~= in premises into account (by performing a case split).
 
+
+
 New in Isabelle2002 (March 2002)
 --------------------------------