# HG changeset patch
# User haftmann
# Date 1294766609 -3600
# Node ID 75c6c40699387675f71286ce9a078921b6cec4e2
# Parent  c86889cf295be485846dc722678d5da1eb0970db
NEWS

diff -r c86889cf295b -r 75c6c4069938 NEWS
--- a/NEWS	Tue Jan 11 17:59:35 2011 +0100
+++ b/NEWS	Tue Jan 11 18:23:29 2011 +0100
@@ -178,7 +178,7 @@
 * Datatype package: theorems generated for executable equality (class
 eq) carry proper names and are treated as default code equations.
 
-* New command 'type_lifting' allows to register properties on
+* New command 'enriched_type' allows to register properties of
 the functorial structure of types.
 
 * Weaker versions of the "meson" and "metis" proof methods are now