several new basic modules made available for general use;

--- a/NEWS	Fri Jul 03 18:53:02 1998 +0200
+++ b/NEWS	Fri Jul 03 18:56:40 1998 +0200
@@ -164,6 +164,9 @@
 * Simplifier now offers conversions (asm_)(full_)rewrite: simpset ->
 cterm -> thm;
 
+* Pure: several new basic modules made available for general use, see
+also src/Pure/README;
+
 
 
 New in Isabelle98 (January 1998)