# HG changeset patch
# User wenzelm
# Date 967927256 -7200
# Node ID aef1f83cf8a6ec6c1ed05234f1226b8b019d02cf
# Parent  0c1ce01a504979cbea2a44bbd0ed7ffc0e426016
* HOL/Lambda: converted into new-style theory and document;

diff -r 0c1ce01a5049 -r aef1f83cf8a6 NEWS
--- 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;