* HOL/Lambda: converted into new-style theory and document;

--- a/NEWS	Sat Sep 02 22:37:41 2000 +0200
+++ b/NEWS	Sat Sep 02 22:40:56 2000 +0200
@@ -1,3 +1,4 @@
+
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
@@ -218,6 +219,8 @@
 
 *** HOL ***
 
+* HOL/Lambda: converted into new-style theory and document;
+
 * HOL/Algebra: new theory of rings and univariate polynomials, by
 Clemens Ballarin;